Ankit Shukla

According to our database, Ankit Shukla authored at least 12 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Transforming Quantified Boolean Formulas Using Biclique Covers.

Oliver Kullmann, Ankit Shukla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

FERPModels: A Certification Framework for Expansion-Based QBF Solving.

Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.

Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.

Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai

Acta Informatica, 2021

QBFFam: A Tool for Generating QBF Families from Proof Complexity.

Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Short Q-Resolution Proofs with Homomorphisms.

Ankit Shukla, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Improving Reasoning on DQBF.

Ankit Shukla

CoRR, 2019

Introducing Autarkies for DQCNF.

Oliver Kullmann, Ankit Shukla

CoRR, 2019

A Survey on Applications of Quantified Boolean Formulas.

Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Autarkies for DQCNF.

Oliver Kullmann, Ankit Shukla

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

SMT Solving for Vesicle Traffic Systems in Cells.

Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai

CoRR, 2018

Synthesis for Vesicle Traffic Systems.

Ashutosh Gupta, Somya Mani, Ankit Shukla

Proceedings of the Computational Methods in Systems Biology, 2018