Speeding up SAT solver by exploring CNF symmetries: Revisited

zbMATH Open1218.05177MaRDI QIDQ2995155FDOQ2995155

Authors: Arup Kumar Ghosh 

Publication date: 20 April 2011

Recommendations

• CDCLSym: introducing effective symmetry breaking in SAT solving
• Improved static symmetry breaking for SAT
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
• Symmetry Breaking for Maximum Satisfiability
• Expressing symmetry breaking in DRAT proofs

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85)

Cited In (3)

• Efficient symmetry breaking for SAT-based minimum DFA inference
• Reducing symmetries to generate easier SAT instances
• CDCLSym: introducing effective symmetry breaking in SAT solving

Uses Software

• BerkMin

This page was built for publication: Speeding up SAT solver by exploring CNF symmetries: Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2995155)