An Improved Tight Closure Algorithm for Integer Octagonal Constraints.

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Browse the full VMCAI paper archive.