Pages that link to "Item:Q2324209"
From MaRDI portal
The following pages link to CDCLSym: introducing effective symmetry breaking in SAT solving (Q2324209):
Displaying 6 items.
- CDCLSym (Q1350219) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- Towards better heuristics for solving bounded model checking problems (Q6080505) (← links)
- SAT modulo symmetries for graph generation and enumeration (Q6610196) (← links)
- Automated mathematical discovery and verification: minimizing pentagons in the plane (Q6648153) (← links)
