The octagon abstract domain for continuous constraints

DOI: 10.1007/s10601-014-9162-x

Authors

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou
Constraints 19(3), July 2014

Publication date