SAT competition
From MaRDI portal
Software:16794
swMATH4623MaRDI QIDQ16794FDOQ16794
Author name not available (Why is that?)
Cited In (6)
- SATenstein: automatically building local search SAT solvers from components
- MaxSAT by improved instance-specific algorithm configuration
- Limitations of restricted branching in clause learning
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- The configurable SAT solver challenge (CSSC)
- CCAnr: a configuration checking based local search solver for non-random satisfiability
This page was built for software: SAT competition
