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

Links

• https://www.swmath.org/software/9483
• http://fmv.jku.at/sat-race-2006/descriptions/4-Eureka.pdf (Eureka-2006)
• http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.333.2286 (Eureka-2008)

ProVerB specific

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