swMATH21225MaRDI QIDQ33036FDOQ33036
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=776042
Cited In (13)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Dynamic symmetry-breaking for Boolean satisfiability
- Improved static symmetry breaking for SAT
- Saucy
- The resolution of Keller's conjecture
- The resolution of Keller's conjecture
- SageSAT
- reduce
- 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
- A study of symmetry breaking predicates and model counting
This page was built for software: Shatter
