PV4 adaptG2WSATproduces a satisfiability result for a formula with lookahead and adaptive noise

Application domain/field

SAT solving

Type of tool

SAT solver
SAT

Related papers

- https://doi.org/10.1007/978-3-540-72788-0_15 (SAT 2007)

Related tools

gNovelty

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.