Ankit Shukla

13 papers A 2B 2C 1Misc 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2023 — conf
Transforming Quantified Boolean Formulas Using Biclique Covers.
TACAS (2)
Oliver Kullmann, Ankit Shukla
2022 Misc conf
FERPModels: A Certification Framework for Expansion-Based QBF Solving.
SYNASC
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
2022 C conf
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.
CICM
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
2021 J jnl
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Acta Informatica
Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai
2021 A conf
QBFFam: A Tool for Generating QBF Families from Proof Complexity.
SAT
Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla
2020 A conf
Short Q-Resolution Proofs with Homomorphisms.
SAT
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
2019 B conf
A Survey on Applications of Quantified Boolean Formulas.
ICTAI
Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl
2019 B conf
Autarkies for DQCNF.
FMCAD
Oliver Kullmann, Ankit Shukla
2019 J jnl
Improving Reasoning on DQBF.
CoRR
Ankit Shukla
2019 J jnl
Introducing Autarkies for DQCNF.
CoRR
Oliver Kullmann, Ankit Shukla
2018 J jnl
SMT Solving for Vesicle Traffic Systems in Cells.
CoRR
Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai
2018 — conf
Synthesis for Vesicle Traffic Systems.
CMSB
Ashutosh Gupta, Somya Mani, Ankit Shukla
2018 J jnl
Synthesis for Vesicle Traffic Systems.
CoRR
Ashutosh Gupta, Somya Mani, Ankit Shukla