Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints.

Kenil C. K. Cheng Roland H. C. Yap

Published in: ECAI (2006)

Keyphrases

global constraints
boolean constraints
generalized arc consistency
constraint programming
constraint satisfaction problems
arc consistency
domain independent
search algorithm
integer programming
constraint propagation
integrity constraints