PV4 ⊧ RSatproduces a satisfiability result for a formula

Links

• http://reasoning.cs.ucla.edu/rsat/papers/rsat_2.0.pdf (RSat 2.0: SAT Solver Description)
• http://fmv.jku.at/sat-race-2006/descriptions/9-rsat.pdf (SAT Solver Description: Rsat)

Related tools

ProVerB specific

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