Expressing Symmetry Breaking in DRAT Proofs.
Marijn HeuleWarren A. Hunt Jr.Nathan WetzlerPublished in: CADE (2015)
Keyphrases
- symmetry breaking
- constraint programming
- global constraints
- quantified boolean formulae
- theorem proving
- boolean satisfiability
- search tree
- graph coloring
- constraint satisfaction problems
- theorem prover
- symmetry breaking constraints
- integer linear programming
- knowledge representation
- combinatorial problems
- constraint satisfaction
- branch and bound algorithm
- boolean optimization
- search algorithm