Existential arc consistency: getting closer to full arc consistency in weighted CSPs - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-02762983 , version 1 (04-06-2020)

Identifiants

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

Citer

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⟩
13 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More