Partial symmetry breaking by local search in the group.
Steven D. PrestwichBrahim HnichHelmut SimonisRoberto RossiS. Armagan TarimPublished in: Constraints An Int. J. (2012)
Keyphrases
- symmetry breaking
- constraint programming
- search algorithm
- search tree
- global constraints
- boolean satisfiability
- search strategies
- genetic algorithm
- graph coloring
- propositional satisfiability
- memetic algorithm
- constraint satisfaction problems
- symmetry breaking constraints
- sat solvers
- search heuristics
- genetic programming
- boolean optimization