Keyphrases
- symmetry breaking
- satisfiability problem
- boolean satisfiability
- sat solvers
- symmetry detection
- phase transition
- sat problem
- propositional satisfiability
- search algorithm
- max sat
- stochastic local search
- case study
- np complete
- graph coloring
- search strategies
- sat solving
- stochastic local search algorithms
- bilateral symmetry
- sat instances