Dependency schemes in CDCL-based QBF solving: a proof-theoretic study

DOI10.1007/s10817-024-09707-4MaRDI QIDQ6611965

Abhimanyu Choudhury, Meena Mahajan

Publication date: 27 September 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

proof complexitydependency schemesQCDCL

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Dependency schemes in CDCL-based QBF solving: a proof-theoretic study