Small Stone in Pool

DOI10.2168/LMCS-10(2:16)2014zbMath1336.03019arXiv1405.5626MaRDI QIDQ5495109

Samuel R. Buss, Leszek Aleksander Kołodziejczyk

Publication date: 31 July 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.5626

zbMATH Keywords

conflict-driven clause learningpool resolutionStone tautologies

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (3)

On CDCL-Based Proof Systems with the Ordered Decision Strategy ⋮ Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers ⋮ Davis and Putnam meet Henkin: solving DQBF with resolution

This page was built for publication: Small Stone in Pool