We stand with Ukraine  

Anil Shukla

According to our database1, Anil Shukla authored at least 14 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
1
1
4
1
1
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Circuits, Proofs and Propositional Model Counting.
[BibTeX]
[DOI]
Sravanthi Chede
,
Leroy Chew
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2024

2023
Understanding Nullstellensatz for QBFs.
[BibTeX]
[DOI]
Sravanthi Chede
,
Leroy Chew
,
Balesh Kumar
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2023

Extending Merge Resolution to a Family of QBF-Proof Systems.
[BibTeX]
[DOI]
Sravanthi Chede
,
Anil Shukla
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023

2022
Extending Merge Resolution to a Family of Proof Systems.
[BibTeX]
[DOI]
Sravanthi Chede
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2022

2021
QRAT Polynomially Simulates Merge Resolution.
[BibTeX]
[DOI]
Sravanthi Chede
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2021

Does QRAT simulate IR-calc? QRAT simulation algorithm for $\forall$Exp+Res cannot be lifted to IR-calc.
[BibTeX]
[DOI]
Sravanthi Chede
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2021

Does QRAT simulate IR-calc? QRAT simulation algorithm for ∀Exp+Res cannot be lifted to IR-calc.
[BibTeX]
[DOI]
Sravanthi Chede
,
Anil Shukla
CoRR, 2021

Extending Prolog for Quantified Boolean Horn Formulas.
[BibTeX]
[DOI]
Anish Mallick
,
Anil Shukla
CoRR, 2021

2018
Are Short Proofs Narrow? QBF Resolution Is <i>Not</i> So Simple.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Leroy Chew
,
Meena Mahajan
,
Anil Shukla
ACM Trans. Comput. Log., 2018

2017
Understanding Cutting Planes for QBFs.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Leroy Chew
,
Meena Mahajan
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2017

2016
Level-ordered Q-resolution and tree-like Q-resolution are incomparable.
[BibTeX]
[DOI]
Meena Mahajan
,
Anil Shukla
Inf. Process. Lett., 2016

Relating two width measures for resolution proofs.
[BibTeX]
[DOI]
Andreas Krebs
,
Meena Mahajan
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2016

2015
Are Short Proofs Narrow? QBF Resolution is not Simple.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Leroy Chew
,
Meena Mahajan
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2015

Feasible Interpolation for QBF Resolution Calculi.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Leroy Chew
,
Meena Mahajan
,
Anil Shukla
Electron. Colloquium Comput. Complex., 2015


  Loading...