A new framework for sharp and efficient resolution of NCSP with manifolds of solutions

Alexandre Goldsztejn, Laurent Granvilliers. A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Constraints, 15(2):190-212, 2010. [doi]

Abstract

Abstract is missing.