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]
No references recorded for this publication.
No citations of this publication recorded.