细胞内液泡运输系统的SMT求解
摘要：生物学中存在一些转化为组合搜索的问题。例如，已提出在真核细胞内移动货物的囊泡运输系统可能具有多个图属性，比如三连通性。这些属性是基础生物物理约束的结果。生物学家的一个自然问题是：对于这些属性的不同组合，可能的网络是什么样的？在本文中，我们提出了基于SMT的囊泡运输系统属性的新颖编码，并使用SMT求解器开发了一种工具，用于搜索满足这些属性的网络。在我们的实验中，我们展示了我们的工具可以搜索到生物学认为相关的网络大小。
作者：Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, and Mukund Thattai
论文ID：1804.05414
分类：Other Computer Science
分类简称：cs.OH
提交时间：2018-04-17