The octagon abstract domain for continuous constraints

Authors: 

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

Publication date: 

Tuesday, July 1, 2014