Improved Static Symmetry Breaking for SAT.
Jo DevriendtBart BogaertsMaurice BruynoogheMarc DeneckerPublished in: SAT (2016)
Keyphrases
- symmetry breaking
- boolean satisfiability
- constraint programming
- sat solving
- sat solvers
- propositional satisfiability
- boolean optimization
- pseudo boolean
- global constraints
- graph coloring
- search tree
- integer linear programming
- constraint satisfaction problems
- randomly generated
- combinatorial problems
- sat problem
- search strategies
- upper bound
- phase transition
- data structure
- job shop scheduling
- constraint satisfaction
- probabilistic planning
- orders of magnitude
- computational complexity