Cited in
(14)- MiniSym
- Improved static symmetry breaking for SAT
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- CDCLSym: introducing effective symmetry breaking in SAT solving
- An adaptive prefix-assignment technique for symmetry reduction
- IPC-4
- Saucy
- Shatter
- bliss
- Modeling with metaconstraints and semantic typing of variables
- reduce
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- Formula simplification via invariance detection by algebraically indexed types
- CDCLSym
This page was built for software: SymChaff
