Anil Shukla

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 19

Top Topics

Quantified Boolean Formulas

Conflict Detection

Integer Programming Problems

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Sravanthi Chede, Leroy Chew, Anil Shukla
Circuits, Proofs and Propositional Model Counting. Electron. Colloquium Comput. Complex. (2024)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of QBF-Proof Systems. STACS (2023)
Sravanthi Chede, Leroy Chew, Balesh Kumar, Anil Shukla
Understanding Nullstellensatz for QBFs. Electron. Colloquium Comput. Complex. (2023)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of Proof Systems. Electron. Colloquium Comput. Complex. 29 (2022)
Sravanthi Chede, Anil Shukla
Extending Merge Resolution to a Family of Proof Systems. CoRR (2021)
Sravanthi Chede, Anil Shukla
Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc. Electron. Colloquium Comput. Complex. 28 (2021)
Sravanthi Chede, Anil Shukla
QRAT Polynomially Simulates Merge Resolution. Electron. Colloquium Comput. Complex. 28 (2021)
Sravanthi Chede, Anil Shukla
QRAT Polynomially Simulates Merge Resolution. CoRR (2021)
Sravanthi Chede, Anil Shukla
Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc. CoRR (2021)
Anish Mallick, Anil Shukla
Extending Prolog for Quantified Boolean Horn Formulas. CoRR (2021)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Understanding cutting planes for QBFs. Inf. Comput. 262 (2018)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
So Simple. ACM Trans. Comput. Log. 19 (1) (2018)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Understanding Cutting Planes for QBFs. Electron. Colloquium Comput. Complex. 24 (2017)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Feasible Interpolation for QBF Resolution Calculi. Log. Methods Comput. Sci. 13 (2) (2017)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Understanding Cutting Planes for QBFs. FSTTCS (2016)
Andreas Krebs, Meena Mahajan, Anil Shukla
Relating two width measures for resolution proofs. Electron. Colloquium Comput. Complex. 23 (2016)
Meena Mahajan, Anil Shukla
Level-ordered Q-resolution and tree-like Q-resolution are incomparable. Inf. Process. Lett. 116 (3) (2016)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Are Short Proofs Narrow? QBF Resolution is not Simple. STACS (2016)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Feasible Interpolation for QBF Resolution Calculi. CoRR (2016)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Feasible Interpolation for QBF Resolution Calculi. Electron. Colloquium Comput. Complex. 22 (2015)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Are Short Proofs Narrow? QBF Resolution is not Simple. Electron. Colloquium Comput. Complex. 22 (2015)
Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla
Feasible Interpolation for QBF Resolution Calculi. ICALP (1) (2015)