{"type":"ScholarlyArticle","title":"Existential arc consistency: Getting closer to full arc consistency in weighted CSPs","authors":[{"name":"Simon de Givry","slug":"simon-de-givry","given":"Simon","family":"de Givry","affiliation":""},{"name":"Federico Heras","slug":"federico-heras","given":"Federico","family":"Heras","affiliation":""},{"name":"Matthias Zytnicki","slug":"matthias-zytnicki","given":"Matthias","family":"Zytnicki","affiliation":""},{"name":"Javier Larrosa","slug":"javier-larrosa","given":"Javier","family":"Larrosa","affiliation":""}],"abstract":"The weighted CSP framework is a soft constraint framework with a wide range of applications. Most current state-of-the-art complete solvers can be described as a basic depth-first branch and bound search that maintain some form of arc consistency during the search. In this paper we introduce a new stronger form of arc consistency, that we call existential directional arc consistency and we provide an algorithm to enforce it. The efficiency of the algorithm is empirically demonstrated in a variety of domains.","doi":null,"url":"https://ijcai.org/proceedings/2005/90","pdf":"https://ijcai.org/proceedings/2005/0090.pdf","markdown":"https://ijcai.org/proceedings/2005/90.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/90","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":90,"pages":{"first":84,"last":88},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}