Verifying Refutations with Extended Resolution
From MaRDI portal
Publication:4928451
DOI10.1007/978-3-642-38574-2_24zbMath1381.68270OpenAlexW2215982992MaRDI QIDQ4928451
Marijn J. H. Heule, Warren A. jun. Hunt, Nathan D. Wetzler
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_24
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers ⋮ Solution validation and extraction for QBF preprocessing ⋮ Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs ⋮ Expressing Symmetry Breaking in DRAT Proofs ⋮ Unnamed Item ⋮ Efficient, verified checking of propositional proofs ⋮ Generating Extended Resolution Proofs with a BDD-Based SAT Solver ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Never trust your solver: certification for SAT and QBF ⋮ QMaxSATpb: a certified MaxSAT solver ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A flexible proof format for SAT solver-elaborator communication ⋮ Super-Blocked Clauses ⋮ Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Uses Software
This page was built for publication: Verifying Refutations with Extended Resolution