Abhimanyu Choudhury

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Proof Theoretic

Top Venues

Electron. Colloquium Comput. Complex.

J. Autom. Reason.

Publications

Abhimanyu Choudhury, Meena Mahajan
Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study. J. Autom. Reason. 68 (3) (2024)
Abhimanyu Choudhury, Meena Mahajan
Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study. FSTTCS (2023)
Abhimanyu Choudhury, Meena Mahajan
Dependency schemes in CDCL-based QBF solving: a proof-theoretic study. Electron. Colloquium Comput. Complex. (2023)