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

DOI10.4230/LIPICS.FSTTCS.2023.38MaRDI QIDQ6951695zbMATH OpenFDO

Authors Abhimanyu Choudhury, Meena Mahajan

Publication date 28 July 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2023.38

zbMATH Keywords

QBFresolutiondependency schemesCDCL

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6951695)