Shatter
From MaRDI portal
Cited in
(14)- A study of symmetry breaking predicates and model counting
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Dynamic symmetry-breaking for Boolean satisfiability
- Improved static symmetry breaking for SAT
- SymChaff
- Saucy
- SageSAT
- reduce
- 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
- CDCLSym
- Symmetry avoidance in MACE-style finite model finding
This page was built for software: Shatter
