Controlled propagation in continuous numerical constraint networks


Local consistency is usually enforced on continuous constraints by decomposing them beforehand into so-called primitive constraints. It has long been observed that such a decomposition drastically slows down the computation of solutions. Five years ago, Benhamou et al. introduced an algorithm that avoids formally decomposing constraints, and whose… (More)
DOI: 10.1145/1066677.1066765


3 Figures and Tables