Login / Signup
Satsuma: Structure-Based Symmetry Breaking in SAT.
Markus Anders
Sofia Brenner
Gaurav Rattan
Published in:
SAT (2024)
Keyphrases
</>
symmetry breaking
boolean satisfiability
sat solving
sat solvers
constraint programming
propositional satisfiability
graph coloring
data structure
heuristic search
satisfiability problem
sat problem