Logic Integer Programming Models for Signaling Networks
暂无分享,去创建一个
Klaus Truemper | Robert Weismantel | Utz-Uwe Haus | Kathrin Niermann | R. Weismantel | K. Truemper | U. Haus | Kathrin Niermann
[1] Klaus Truemper,et al. Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks , 2008, J. Satisf. Boolean Model. Comput..
[2] Morgan Huse,et al. The T-cell-receptor signaling network , 2009, Journal of Cell Science.
[3] Adam M. Feist,et al. A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information , 2007, Molecular systems biology.
[4] John N. Hooker,et al. Integrated methods for optimization , 2011, International series in operations research and management science.
[5] Martha Sideri,et al. Generating all maximal models of a Boolean expression , 2000, Inf. Process. Lett..
[6] Steffen Klamt,et al. A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..
[7] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[8] Hans K. Buning,et al. Propositional Logic: Deduction and Algorithms , 1999 .
[9] Johan Håstad,et al. Some optimal inapproximability results , 2001, JACM.
[10] George B. Dantzig,et al. Linear programming and extensions , 1965 .
[11] Dimitris Bertsimas,et al. Optimization over integers , 2005 .
[12] Leonid Khachiyan,et al. On the Complexity of Dualization of Monotone Disjunctive Normal Forms , 1996, J. Algorithms.