An Improved Tight Closure Algorithm for Integer Octagonal Constraints

DOI10.1007/978-3-540-78163-9_6zbMath1138.68474MaRDI QIDQ5452703

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78163-9_6

Mathematics Subject Classification ID

90C35: Programming involving graphs or networks

68W05: Nonnumerical algorithms

68R10: Graph theory (including graph drawing) in computer science

Uses Software

• PPL