Login / Signup

Satsuma: Structure-Based Symmetry Breaking in SAT.

Markus AndersSofia BrennerGaurav 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