The following pages link to Shatter (Q33036):
Displaying 9 items.
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Symmetry avoidance in MACE-style finite model finding (Q2180212) (← links)
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
- Local and global symmetry breaking in itemset mining (Q2398272) (← links)
- Improved Static Symmetry Breaking for SAT (Q2818005) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- The resolution of Keller's conjecture (Q5918545) (← links)
- The resolution of Keller's conjecture (Q5970770) (← links)
