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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269564
Contributor : Christine Carvalho de Matos <>
Submitted on : Tuesday, April 10, 2018 - 9:08:48 PM
Last modification on : Thursday, May 14, 2020 - 6:58:06 PM

File

ijcai03.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00269564, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

157

Files downloads

38