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