Logic integer programming models for signaling networks

Journal of Computational Biology

Volumn 16, Issue 5, 2009, Pages 725-743

  Haus, Utz Uwe ^a   Niermann, Kathrin ^a   Truemper, Klaus ^b   Weismantel, Robert ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b The University of Texas at Dallas   (United States)

Author keywords

Biological signaling networks; Integer programming; Modeling; Monotone boolean functions; Satisfiability

Indexed keywords

ALGORITHM; ARTICLE; COMPUTER PROGRAM; EXPERIMENTAL STUDY; MATHEMATICAL ANALYSIS; MOLECULAR BIOLOGY; PRIORITY JOURNAL; QUALITATIVE ANALYSIS; QUANTITATIVE ANALYSIS; STATISTICAL MODEL;

ALGORITHMS; COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; MATHEMATICS; MODELS, BIOLOGICAL; SIGNAL TRANSDUCTION; SOFTWARE;

EID: 67049134787     PISSN: 10665277     EISSN: None     Source Type: Journal    
DOI: 10.1089/cmb.2008.0163     Document Type: Article

References (14)

1. Bertsimas, D., and Weismantel, R. 2005. Optimization over Integers. Dynamic Ideas, Belmont, MA.
2. Büning, H.K., and Lettmann, T. 1999. Propositional Logic: Deduction and Algorithms. Cambridge University Press, New York.
3. Dantzig, G.B. 1963. Linear Programming and Extensions. Princeton University Press, Princeton, NJ.
4. Feist, A.M., Henry, C.S., Reed, J.L., et al. 2007. A genome-scale metabolic reconstruction for Escherichia coli K-12 mg1655 that account for 1260 ORFs and thermodynamic infor
5. Fredman, M.L., and Khachiyan, L. 1996. On the complexity of dualization of monotone disjunctive normal forms.J. Algorithms 21, 618-628.
6. Garey, M.R., and Johnson, D.S. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness.Freeman, San Francisco.
7. Hastad, J. 2001. Some optimal inapproximability results. J. ACM 48, 798-859.
8. Haus, U.-U. 2008. cl-jointgen, a common lisp implementation of the joint-generation method. Available at:www.primaldual.de/cl-jointgen. Accessed March 15, 2009.
9. Haus, U.-U., Truemper, K., and Weismantel, R. 2008. Linear satisfiability algorithm for 3CNF formulas of certainsignaling networks. J. Satisf. Boolean Model. Comput. 6, 13-22.
10. Hooker, J.N. 2007. Integrated Methods for Optimization. Springer, Pittsburgh, Pennsylvania.
11. Kavvadias, D.J., Sideri, M., and Stavropoulos, E.C. 2000. Generating all maximal models of a Boolean expression.Inform. Process. Lett. 74, 157-162. Saez-Rodriguez, J.,
12. Simeoni, L., Lindquist, J., et al. 2007. An extensive logical model predicts key events in the T-cell
13. receptor signaling network. PLoS Comput. Biol. [DOI http:://dx.doi.org/10.1371/journal.pcbi.0030163.] PLoS Comput. Biol. 3(8), e163.
14. Truemper, K. 2004. Design of Logic-Based Intelligent Systems. John Wiley & Sons, New York.