Static and Dynamic Structural Symmetry Breaking.
Pierre FlenerJustin PearsonMeinolf SellmannPascal Van HentenryckPublished in: CP (2006)
Keyphrases
- symmetry breaking
- constraint programming
- global constraints
- boolean satisfiability
- search tree
- quantified boolean formulae
- constraint satisfaction problems
- integer linear programming
- graph coloring
- genetic algorithm
- sat solvers
- symmetry breaking constraints
- evolutionary algorithm
- np complete
- optimization algorithm
- integer programming