Synthesis for Vesicle Traffic Systems. - Ashutosh Gupta; Somya Mani; Ankit Shukla 003 (CMSB, 2018)

SMT Solving for Vesicle Traffic Systems in Cells. - Ashutosh Gupta; Ankit Shukla 003; Mandyam Srivas; Mukund Thattai (CoRR, 2018)

Autarkies for DQCNF. - Oliver Kullmann; Ankit Shukla 003 (FMCAD, 2019)

A Survey on Applications of Quantified Boolean Formulas. - Ankit Shukla 003; Armin Biere; Luca Pulina; Martina Seidl (ICTAI, 2019)

Introducing Autarkies for DQCNF. - Oliver Kullmann; Ankit Shukla 003 (CoRR, 2019)

Improving Reasoning on DQBF. - Ankit Shukla 003 (CoRR, 2019)

Short Q-Resolution Proofs with Homomorphisms. - Ankit Shukla 003; Friedrich Slivovsky; Stefan Szeider (SAT, 2020)

QBFFam: A Tool for Generating QBF Families from Proof Complexity. - Olaf Beyersdorff; Luca Pulina; Martina Seidl; Ankit Shukla 003 (SAT, 2021)

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. - Arnab Bhattacharyya 001; Ashutosh Gupta; Lakshmanan Kuppusamy; Somya Mani; Ankit Shukla 003; Mandayam K. Srivas; Mukund Thattai (Acta Informatica, 2021)

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. - Ankit Shukla 003; Sibylle Möhle; Manuel Kauers; Martina Seidl (CICM, 2022)

FERPModels: A Certification Framework for Expansion-Based QBF Solving. - Vedad Hadzic; Roderick Bloem; Ankit Shukla 003; Martina Seidl (SYNASC, 2022)

Transforming Quantified Boolean Formulas Using Biclique Covers. - Oliver Kullmann; Ankit Shukla 003 (TACAS (2), 2023)