PV4 adaptG2WSATproduces 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

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