Symmetry-Breaking Predicates for Search Problems.
James M. CrawfordMatthew L. GinsbergEugene M. LuksAmitabha RoyPublished in: KR (1996)
Keyphrases
- symmetry breaking
- search problems
- constraint satisfaction problems
- search algorithm
- constraint programming
- search tree
- orders of magnitude
- search strategies
- heuristic search
- boolean satisfiability
- sat solvers
- global constraints
- search space
- integer linear programming
- graph coloring
- constraint satisfaction
- beam search
- combinatorial problems
- search strategy
- constraint propagation
- integer programming
- np complete
- particle swarm optimization
- max sat
- propositional satisfiability
- state space