HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Existential arc consistency: getting closer to full arc consistency in weighted CSPs

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inrae.fr/hal-02762983
Contributor : Migration Prodinra Connect in order to contact the contributor
Submitted on : Thursday, June 4, 2020 - 6:45:55 AM
Last modification on : Monday, April 11, 2022 - 10:39:24 AM

Identifiers

  • HAL Id : hal-02762983, version 1
  • PRODINRA : 266025

Collections

Citation

Federico Heras, Simon de Givry, Matthias Zytnicki, Javier Larrosa. Existential arc consistency: getting closer to full arc consistency in weighted CSPs. IJCAI 2005 - International Joint Conference on Artificial Intelligence, Jul 2005, Edimbourg, United Kingdom. ⟨hal-02762983⟩

Share

Metrics

Record views

4