Abhimanyu Choudhury

According to our database, Abhimanyu Choudhury authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

On the Interplay of Cube Learning and Dependency Schemes in {QCDCL} Proof Systems.

Abhimanyu Choudhury, Meena Mahajan

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2023

Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study.

Abhimanyu Choudhury, Meena Mahajan

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023