Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style

All reports by Author Abhimanyu Choudhury:

TR23-061 | 2nd May 2023
Abhimanyu Choudhury, Meena Mahajan

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

We formalize the notion of proof systems obtained by adding normal dependency schemes into the QCDCL proof system underlying algorithms for solving Quantified Boolean Formulas, by exploring the addition of the dependency schemes via two approaches: one as a preprocessing tool, and second in propagation and learnings in the QCDCL ... more >>>

ISSN 1433-8092 | Imprint