SAT competition
From MaRDI portal
Software:16794
No author found.
Related Items (6)
MaxSAT by improved instance-specific algorithm configuration ⋮ CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability ⋮ SATenstein: automatically building local search SAT solvers from components ⋮ The configurable SAT solver challenge (CSSC) ⋮ Limitations of restricted branching in clause learning ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
This page was built for software: SAT competition
