Improved Separations of Regular Resolution from Clause Learning Proof Systems

DOI10.1613/jair.4260zbMath1361.68185arXiv1208.2469OpenAlexW2160543001MaRDI QIDQ5415765

Jan Johannsen, Maria Luisa Bonet, Samuel R. Buss

Publication date: 16 May 2014

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (5)

On CDCL-Based Proof Systems with the Ordered Decision Strategy ⋮ Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution ⋮ New stochastic local search approaches for computing preferred extensions of abstract argumentation ⋮ Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers ⋮ On Linear Resolution

This page was built for publication: Improved Separations of Regular Resolution from Clause Learning Proof Systems