Shatter

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