Pages that link to "Item:Q1680245"
From MaRDI portal
The following pages link to Symmetric explanation learning: effective dynamic symmetry handling for SAT (Q1680245):
Displaying 8 items.
- On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers (Q823775) (← links)
- Dynamic symmetry-breaking for Boolean satisfiability (Q976993) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- A SAT-based approach to learn explainable decision sets (Q1799125) (← links)
- (Q5020979) (← links)
- An adaptive prefix-assignment technique for symmetry reduction (Q5919303) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- SAT modulo symmetries for graph generation and enumeration (Q6610196) (← links)