Finding Minimal Reaction Sets in Large Metabolic Pathways
Finding Minimal Reaction Sets in Large Metabolic Pathways
复制标题
寻找大代谢途径中的最小反应集
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K.Inoue
中科院分区：
文献类型：
--
作者：
T.Soh;K.Inoue
登录
查看更多内容
使用基于 SAT 的方法分析路径
影响因子：
3
作者：
A. Tiwari;C. Talcott;M. Knapp;P. Lincoln;K. Laderoute
通讯作者：
K. Laderoute
通过答案集编程扩展代谢网络
DOI：
--
发表时间：
2009
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
Torsten Schaub;S. Thiele
通讯作者：
S. Thiele
基于逻辑的稳态分析和抑制代谢网络的修正
DOI：
10.1109/cisis.2010.184
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Ray O
通讯作者：
Ray O
用于最小模型推理的 Tableau 演算
DOI：
--
发表时间：
1996
期刊：
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
影响因子：
--
作者：
I. Niemelä
通讯作者：
I. Niemelä