A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions.

Alexandre Goldsztejn, Laurent Granvilliers

Browse the full CP paper archive.