The octagon abstract domain for continuous constraints

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. The octagon abstract domain for continuous constraints. Constraints, 19(3):309-337, 2014. [doi]

Abstract

Abstract is missing.