Shatter
From MaRDI portal
Software:33036
No author found.
Related Items (9)
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures ⋮ A Study of Symmetry Breaking Predicates and Model Counting ⋮ Local and global symmetry breaking in itemset mining ⋮ Symmetry avoidance in MACE-style finite model finding ⋮ Dynamic symmetry-breaking for Boolean satisfiability ⋮ The resolution of Keller's conjecture ⋮ Improved Static Symmetry Breaking for SAT ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver ⋮ The resolution of Keller's conjecture
This page was built for software: Shatter
