Anil Shukla

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