Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
PV4
⊧
adaptG
2
WSAT
produces 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
.