Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou. Towards Automated Reasoning on the Properties of Numerical Constraints. In Barry O Sullivan, editor, Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers. Volume 2627 of Lecture Notes in Computer Science, pages 47-61, Springer, 2002. [doi]
Abstract is missing.