Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Yat Chiu LawJimmy Ho-Man LeeBarbara M. SmithPublished in: Constraints An Int. J. (2007)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- np complete
- constraint solving
- search space
- arc consistency
- decomposition methods
- np hard
- non binary
- soft constraints
- constraint graph
- finite domain
- constraint solver
- symmetry breaking
- randomly generated
- probabilistic model
- special case