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
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- The configurable SAT solver challenge (CSSC)
This page was built for software: SAT competition
