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