satsuma: Structure-based Symmetry Breaking in SAT.
Markus AndersSofia BrennerGaurav RattanPublished in: CoRR (2024)
Keyphrases
- symmetry breaking
- boolean satisfiability
- sat solving
- sat solvers
- constraint programming
- graph coloring
- propositional satisfiability
- phase transition
- search tree
- global constraints
- boolean optimization
- objective function
- probabilistic planning
- integer linear programming
- constraint satisfaction problems
- special case
- search algorithm