Determinization of Resolution by an Algorithm Operating on Complete Assignments
From MaRDI portal
Publication:5756586
DOI10.1007/11814948_11zbMath1187.68543OpenAlexW2098835807MaRDI QIDQ5756586
Publication date: 4 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814948_11
Related Items
A Decision-Making Procedure for Resolution-Based SAT-Solvers ⋮ An overview of parallel SAT solving ⋮ On Bridging Simulation and Formal Verification
Uses Software