Shatter
From MaRDI portal
Software:33036
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
- 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
- A study of symmetry breaking predicates and model counting
This page was built for software: Shatter
