An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints.
Kenil C. K. ChengRoland H. C. YapPublished in: Constraints An Int. J. (2010)
Keyphrases
- positive and negative
- global constraints
- arc consistency algorithm
- arc consistency
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint propagation
- space complexity
- boolean constraints
- positive or negative
- constraint networks
- non binary
- weighted constraint satisfaction
- decision rules
- constraint solver
- path consistency
- constraint logic programming
- multi criteria
- np complete
- integer programming
- symmetry breaking
- special case
- artificial intelligence
- support vector machine
- parameterized complexity
- search space