Compositional Derivation of Symmetries for Constraint Satisfaction.
Pascal Van HentenryckPierre FlenerJustin PearsonMagnus ÅgrenPublished in: SARA (2005)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- heuristic search
- symmetry breaking
- constraint relaxation
- phase transition
- soft constraints
- relaxation labeling
- constraint propagation
- global constraints
- russian doll search
- constraint solving
- combinatorial problems
- probabilistic reasoning
- sat solvers
- arc consistency
- cost function
- evolutionary computation
- feature points