Keyphrases
- sat solvers
- symmetry breaking
- satisfiability problem
- boolean satisfiability
- symmetry detection
- sat problem
- sat solving
- phase transition
- propositional satisfiability
- max sat
- stochastic local search
- sat instances
- search strategies
- medial axes
- search algorithm
- stochastic local search algorithms
- pseudo boolean constraints
- search procedures
- constraint programming
- np hard