Program
Verification
Book

PV4 ⊧ adaptG²WSATproduces a satisfiability result for a formula with lookahead and adaptive noise

Application domain/field

SAT solving

Type of tool

SAT solver

Related papers

- Combining Adaptive Noise and Look-Ahead in Local Search for SAT (SAT 2007)

Related tools

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by SATzilla
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.