Enumerating Minimal Active Metabolic Pathways by Model Generation
Enumerating Minimal Active Metabolic Pathways by Model Generation
复制标题
通过模型生成枚举最小活跃代谢途径
DOI：
10.1527/tjsai.27.204
复制
发表时间：
2012
影响因子：
--
通讯作者：
井上克巳
中科院分区：
文献类型：
--
作者：
宋剛秀;井上克巳
登录
查看更多内容
使用基于 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
影响因子：
3.2
作者：
FREEDBERG, WB;KISTLER, WS;LIN, ECC
通讯作者：
LIN, ECC
用于最小模型推理的 Tableau 演算
DOI：
--
发表时间：
1996
期刊：
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
影响因子：
--
作者：
I. Niemelä
通讯作者：
I. Niemelä