An Improved Tight Closure Algorithm for Integer Octagonal Constraints

Title
Publication Type	Conference Paper
Authors	Bagnara R, Hill PM, Zaffanella E
Editor	Logozzo F, Peled D, Zuck L

File attachments:

BagnaraHZ08.pdf

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.