Login / Signup

An Improved Tight Closure Algorithm for Integer Octagonal Constraints.

Roberto BagnaraPatricia M. HillEnea Zaffanella
Published in: VMCAI (2008)
Keyphrases