Propagating Logical Combinations of Constraints
Abstract
Many constraint toolkits provide logical connectives like disjunction, negation and implication. These permit complex constraint expressions to be built from primitive constraints. However, the propagation of such complex constraint expressions is typically limited. We therefore present a simple and light weight method for propagating complex constraint expressions. We provide a precise characterization of when this method enforces generalized arc-consistency. In addition, we demonstrate that with our method many different global constraints can be easily implemented. 1
Cite
Text
Bacchus and Walsh. "Propagating Logical Combinations of Constraints." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Bacchus and Walsh. "Propagating Logical Combinations of Constraints." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/bacchus2005ijcai-propagating/)BibTeX
@inproceedings{bacchus2005ijcai-propagating,
title = {{Propagating Logical Combinations of Constraints}},
author = {Bacchus, Fahiem and Walsh, Toby},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {35-40},
url = {https://mlanthology.org/ijcai/2005/bacchus2005ijcai-propagating/}
}