Soundness of Inprocessing in Clause Sharing SAT Solvers
From MaRDI portal
Publication:5326451
DOI10.1007/978-3-642-39071-5_4zbMath1390.68582OpenAlexW134175813MaRDI QIDQ5326451
Christoph Wernhard, Norbert Manthey, Tobias Philipp
Publication date: 5 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers ⋮ Unnamed Item ⋮ Super-Blocked Clauses
Uses Software
This page was built for publication: Soundness of Inprocessing in Clause Sharing SAT Solvers
