2 papers
cs.LO2021
Automated inference of production rules for glycans
Ansuman Biswas, Ashutosh Gupta, Meghana Missula +1
Glycans are tree-like polymers made up of sugar monomer building blocks. They are found on the surface of all living cells, and distinct glycan trees act as identity markers for di…
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…