SAT competition
From MaRDI portal
Cited in
(8)- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Limitations of restricted branching in clause learning
- SATenstein
- SATenstein: automatically building local search SAT solvers from components
- MaxSAT by improved instance-specific algorithm configuration
- CCAnr: a configuration checking based local search solver for non-random satisfiability
- The configurable SAT solver challenge (CSSC)
- Sparrow2Riss
This page was built for software: SAT competition
