Lecture Notes in Computer Science, 2008, Volume 5202/2008, 190-204, DOI: 10.1007/978-3-540-85958-1_13

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

Alexandre Goldsztejn and Laurent Granvilliers

View Related Documents

Abstract

When numerical CSPs are used to solve systems of n equations with n variables, the interval Newton operator plays a key role: It acts like a global constraint, hence achieving a powerful contraction, and proves rigorously the existence of solutions. However, both advantages cannot be used for under-constrained systems of equations, which have manifolds of solutions. A new framework is proposed in this paper to extend the advantages of the interval Newton to under-constrained systems of equations. This is done simply by permitting domains of CSPs to be parallelepipeds instead of the usual boxes.

Fulltext Preview

Image of the first page of the fulltext document