PV4 Eurekaproduces a satisfiability result for a formula with a backtrack search

a SAT solver used at Intel Corporation

Application domain/field

SAT solving

Type of tool

SAT solver
SAT

Links

ProVerB specific



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