The following pages link to SymChaff (Q13682):
Displayed 7 items.
- Symmetric explanation learning: effective dynamic symmetry handling for SAT (Q1680245) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- CDCLSym: introducing effective symmetry breaking in SAT solving (Q2324209) (← links)
- Modeling with Metaconstraints and Semantic Typing of Variables (Q2806860) (← links)
- Improved Static Symmetry Breaking for SAT (Q2818005) (← links)
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning (Q5310682) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)