Computer Science and Engineering, Department of


Date of this Version



Karakashian, Woodward, Reeson, Choueiry & Bessiere in 24th AAAI Conference on Artificial Intelligence (AAAI '10). Pages 101-107. Copyright 2010, AAAI. Used by permission.


Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(*,m)C, which is equivalent to m-wise consistency proposed in relational databases. We also define wR(*,m)C, a weaker variant of this property. We propose an algorithm for enforcing these properties on a Constraint Satisfaction Problem by tightening the existing relations and without introducing new ones. We empirically show that wR(*,m)C solves in a backtrackfree manner all the instances of some CSP benchmark classes, thus hinting at the tractability of those classes.