{"type":"ScholarlyArticle","title":"Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving","authors":[{"name":"Christian Bessière","slug":"christian-bessiere","given":"Christian","family":"Bessiere","affiliation":""},{"name":"Anaïs Fabre","slug":"anais-fabre","given":"Anaïs","family":"Fabre","affiliation":""},{"name":"Ulrich Junker","slug":"ulrich-junker","given":"Ulrich","family":"Junker","affiliation":""}],"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 realworld constraint satisfaction problems such as configuration and scheduling. Moreover, Pref-AC directly computes a preferred solution for tree-like constraint satisfaction problems.","doi":null,"url":"https://ijcai.org/proceedings/2003/27","pdf":"https://ijcai.org/proceedings/2003/0027.pdf","markdown":"https://ijcai.org/proceedings/2003/27.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/27","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":27,"pages":{"first":191,"last":195},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}