Controlled propagation in continuous numerical constraint networks

Abstract

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

Topics

3 Figures and Tables