Ankit Shukla

According to our database1, Ankit Shukla authored at least 10 papers between 2018 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Short Q-Resolution Proofs with Homomorphisms.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019
Improving Reasoning on DQBF.
CoRR, 2019

Introducing Autarkies for DQCNF.
CoRR, 2019

A Survey on Applications of Quantified Boolean Formulas.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Method to Reduce Harmonic Voltage Distortion and Improve Harmonic Current Sharing in an islanded AC Microgrid.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

Autarkies for DQCNF.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019


2018
SMT Solving for Vesicle Traffic Systems in Cells.
CoRR, 2018

IRGUN: Improved Residue Based Gradual Up-Scaling Network for Single Image Super Resolution.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2018

Synthesis for Vesicle Traffic Systems.
Proceedings of the Computational Methods in Systems Biology, 2018


  Loading...