Sign in
Abhimanyu Choudhury
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Sat Solvers
Np Complete
Proof Theoretic
Top Venues
FSTTCS
Electron. Colloquium Comput. Complex.
</>
Publications
</>
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)