Existential arc consistency: Getting closer to full arc consistency in weighted CSPs
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 84-88.
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.
Simon de Givry, Federico Heras, Matthias Zytnicki, and Javier Larrosa. 2005. Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 84–88. https://ijcai.org/proceedings/2005/90
de Givry, S., Heras, F., Zytnicki, M., & Larrosa, J. (2005). Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 84–88). IJCAI. https://ijcai.org/proceedings/2005/90
@inproceedings{ijcai2005p90,
title = {Existential arc consistency: Getting closer to full arc consistency in weighted CSPs},
author = {de Givry, Simon and Heras, Federico and Zytnicki, Matthias and Larrosa, Javier},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {84--88},
year = {2005},
url = {https://ijcai.org/proceedings/2005/90},
}
TY - CPAPER TI - Existential arc consistency: Getting closer to full arc consistency in weighted CSPs AU - de Givry, Simon AU - Heras, Federico AU - Zytnicki, Matthias AU - Larrosa, Javier T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 84 EP - 88 UR - https://ijcai.org/proceedings/2005/90 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
