---
title: "Propagating Logical Combinations of Constraints"
authors:
  - "Fahiem Bacchus"
  - "Toby Walsh"
doi: ""
url: "https://ijcai.org/proceedings/2005/41"
pdf: "https://ijcai.org/proceedings/2005/0041.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "35-39"
track: ""
keywords:
---

# Propagating Logical Combinations of Constraints

Fahiem Bacchus, Toby Walsh

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 35-39.

## 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.