Shatter
From MaRDI portal
Cited in
(14)- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- CDCLSym
- SymChaff
- Symmetry avoidance in MACE-style finite model finding
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Local and global symmetry breaking in itemset mining
- Saucy
- Improved static symmetry breaking for SAT
- SageSAT
- reduce
- A study of symmetry breaking predicates and model counting
- The resolution of Keller's conjecture
- The resolution of Keller's conjecture
- Dynamic symmetry-breaking for Boolean satisfiability
This page was built for software: Shatter
