Shatter

swMATH21225MaRDI QIDQ33036FDOQ33036

Author name not available (Why is that?)

Cited In (9)

• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Dynamic symmetry-breaking for Boolean satisfiability
• Improved Static Symmetry Breaking for SAT
• The resolution of Keller's conjecture
• The resolution of Keller's conjecture
• A Study of Symmetry Breaking Predicates and Model Counting
• Local and global symmetry breaking in itemset mining
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
• Symmetry avoidance in MACE-style finite model finding

This page was built for software: Shatter