The following pages link to SAT competition (Q16794):
Displaying 7 items.
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Limitations of restricted branching in clause learning (Q2272157) (← links)
- SATenstein: automatically building local search SAT solvers from components (Q2634473) (← links)
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (Q3453204) (← links)
- Publication:3453204 (← links)