3 papers
cs.LO2019
Improving Reasoning on DQBF
Ankit Shukla
The aim of this PhD project is to develop fast and robust reasoning tools for dependency quantified Boolean formulas (DQBF). In this paper, we outline two properties, autarkies and…
q-bio.SC2018
Synthesis for Vesicle Traffic Systems
Ashutosh Gupta, Somya Mani, Ankit Shukla
Vesicle Traffic Systems (VTSs) are the material transport mechanisms among the compartments inside the biological cells. The compartments are viewed as nodes that are labeled with…
cs.OH2018
SMT Solving for Vesicle Traffic Systems in Cells
Ashutosh Gupta, Ankit Shukla, Mandyam Srivas +1
In biology, there are several questions that translate to combinatorial search. For example, vesicle traffic systems that move cargo within eukaryotic cells have been proposed to e…