Pages that link to "Item:Q3637171"
From MaRDI portal
The following pages link to Dynamic Symmetry Breaking by Simulating Zykov Contraction (Q3637171):
Displaying 6 items.
- Improved Static Symmetry Breaking for SAT (Q2818005) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- Constraint and Satisfiability Reasoning for Graph Coloring (Q5129999) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)
- Without loss of satisfaction (Q6605336) (← links)
- SAT modulo symmetries for graph generation and enumeration (Q6610196) (← links)