Skip to Main content Skip to Navigation
Conference papers

Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving

Christian Bessière 1 Anaïs Fabre 2 Ulrich Junker 2
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without changing the pruning and shape of the search tree. Arc consistency thus becomes more scalable and usable for many real-world constraint satisfaction problems such as configuration and scheduling. Moreover, Pref-AC directly computes a preferred solution for tree-like constraint satisfaction problems.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Christine Carvalho de Matos <>
Submitted on : Tuesday, April 10, 2018 - 9:08:48 PM
Last modification on : Monday, January 11, 2021 - 5:24:06 PM


Files produced by the author(s)


  • HAL Id : lirmm-00269564, version 1



Christian Bessière, Anaïs Fabre, Ulrich Junker. Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2003, Acapulco, Mexico. pp.191-196. ⟨lirmm-00269564⟩



Record views


Files downloads