Exploiting symmetries within constraint satisfaction search.
Pedro MeseguerCarme TorrasPublished in: Artif. Intell. (2001)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- symmetry breaking
- constraint programming
- search space
- search strategies
- forward checking
- search algorithm
- heuristic search
- phase transition
- constraint propagation
- backtrack search
- arc consistency
- relaxation labeling
- soft constraints
- global constraints
- combinatorial problems
- probabilistic reasoning
- constraint relaxation
- robust fault detection
- constraint networks
- search strategy
- search methods
- expert systems
- industrial applications
- tree search
- constraint solver
- distributed search
- orders of magnitude
- branch and bound search
- np hard
- backtracking algorithms
- special case