Pages that link to "Item:Q2324209"
From MaRDI portal
The following pages link to CDCLSym: introducing effective symmetry breaking in SAT solving (Q2324209):
Displaying 14 items.
- On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers (Q823775) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- CDCLSym (Q1350219) (← links)
- Symmetric explanation learning: effective dynamic symmetry handling for SAT (Q1680245) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- Efficient symmetry breaking for SAT-based minimum DFA inference (Q2278273) (← links)
- Reducing symmetries to generate easier SAT instances (Q2848064) (← links)
- (Q4475703) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- Theory and Applications of Satisfiability Testing (Q5325867) (← 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)