Computing minimal nutrient sets from metabolic networks via linear constraint solving

BMC Bioinformatics

Volumn 14, Issue , 2013, Pages

  Eker, Steven ^a   Krummenacker, Markus ^a   Shearer, Alexander G ^a   Tiwari, Ashish ^a   Keseler, Ingrid M ^a   Talcott, Carolyn ^a   Karp, Peter D ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Binary decision diagrams; Cellular metabolism; Computational biology; Linear constraint solving; Metabolic and regulatory networks; Minimal nutrient sets; SMT solvers

Indexed keywords

CELLULAR METABOLISM; COMPUTATIONAL BIOLOGY; LINEAR CONSTRAINTS; MINIMAL NUTRIENT SETS; REGULATORY NETWORK; SMT SOLVERS;

BINARY DECISION DIAGRAMS; BIOINFORMATICS; CELL PROLIFERATION; EQUIVALENCE CLASSES; ESCHERICHIA COLI; FORMAL LOGIC; GENETIC ENGINEERING; LINEAR PROGRAMMING; LOGIC PROGRAMMING; MACHINERY; METABOLISM; REACTION INTERMEDIATES;

NUTRIENTS;

BACTERIA (MICROORGANISMS); ESCHERICHIA COLI K12;

CARRIER PROTEIN; ESCHERICHIA COLI PROTEIN;

ALGORITHM; ARTICLE; BIOLOGICAL MODEL; BIOLOGY; CULTURE MEDIUM; ESCHERICHIA COLI K 12; GENETICS; GENOMICS; GROWTH, DEVELOPMENT AND AGING; METABOLISM; METHODOLOGY;

ALGORITHMS; COMPUTATIONAL BIOLOGY; CULTURE MEDIA; ESCHERICHIA COLI K12; ESCHERICHIA COLI PROTEINS; GENOMICS; MEMBRANE TRANSPORT PROTEINS; METABOLIC NETWORKS AND PATHWAYS; MODELS, BIOLOGICAL;

EID: 84875343118     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-14-114     Document Type: Article

References (30)

1. Schloss PD, Handelsman J. Status of the microbial census. Microbiol MolBiol Rev 2004, 68:686-691.
2. Davis KE, Joseph SJ, Janssen PH. Effects of growth medium, inoculum size, and incubation time on culturability and isolation of soil bacteria. Appl Environ Microbiol 2005, 71:826-834. 10.1128/AEM.71.2.826-834.2005, 546801, 15691937.
3. Dale JM, Popescu L, Karp PD. Machine learning methods for metabolic pathway prediction. BMC Bioinformatics 2010, 11:15. 10.1186/1471-2105-11-15, 3146072, 20064214.
4. Paley S, Karp PD. Evaluation of computational metabolic-pathway predictions for Helicobacter pylori. Bioinformatics 2002, 18:715-724. 10.1093/bioinformatics/18.5.715, 12050068.
5. Karp P, Paley S, Krummenacker M, Latendresse M. Pathway tools version 13.0: integrated software for pathway/genome informatics and systems biology. Brief Bioinform 2010, 11:40-79. 10.1093/bib/bbp043, 2810111, 19955237.
6. Romero P, Karp P. Nutrient-related analysis of pathway/genome databases. Proc Pacific Symposium on Biocomputing 2001, 471-482. Singapore: World Scientific, Altman R, Klein T.
7. Raspail FV. Développement de la fécule dans les organes de la fructification des céréales, et analyse microscopique de la fécule, suivies d'expériences propres à en expliquer la conversion en gomme. Annales Des Sciences Naturelles 1825,, 6. p.224 (part 1), p.384 (part 2).
8. Keseler IM, Collado-Vides J, Santos-Zavaleta A, Peralta-Gil M. EcoCyc: a Comprehensive Database of Escherichia coli Biology. Nuc Acids Res 2011, 39:D583-D590.
9. Nieuwenhuis R, Oliveras A, Tinelli C. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J ACM 2006, 53:937-977.
10. Dutertre B, de Moura L. A fast linear-arithmetic solver for DPLL(T). Computer-Aided Verification (CAV'2006). Volume 4144 of Lecture Notes in Computer Science 2006, 81-94. Berlin: Springer Verlag.
11. Gurvich V, Khachiyan L. On Generating the irredundant conjunctive and disjunctive normal forms of monotone boolean functions. Discrete Appl Math 1999, 96-97:363-373.
12. Bryant RE. Graph-based algorithms for boolean function manipulation. IEEE Trans Comput 1986, 35:677-691.
13. Bryant RE. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput Surv 1992, 24:293-318.
14. BuDDy A binary decision diagram package. http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.itu.dk/research/buddy/index.html, BuDDy.
15. CUDD CU Decision Diagram Package. http://vlsi.colorado.edu/1-Aprfabio/CUDD/, CUDD.
16. Bochner BR, Gadzinski P, Panomitros E. Phenotype microarrays for high-throughput phenotypic testing and assay of gene function. Genome Res 2001, 11:1246-1255. 10.1101/gr.186501, 311101, 11435407.
17. Nichols D. Short peptide induces an 'Uncultivable' microorganism to grow in vitro. Appl Env Microbiol 2008, 74:4889-4897.
18. Handorf T. An environmental perspective on metabolism. J Theor Biol 2008, 252:530-537. 10.1016/j.jtbi.2007.10.036, 18086477.
19. Cottret L, Milreu P, Acuna V, Marchetti-Spaccamela A. Enumerating precursor sets of target metabolites in a metabolic network. Proc. WABI. volume 5251 of LNBI 2008, 233-244.
20. Papin JA. Metabolic pathways in the post-genome era. Trends Biochem Sci 2003, 28:250-258. 10.1016/S0968-0004(03)00064-1, 12765837.
21. Feist A, Henry C, Reed J, Krummenacker M, Joyce A. A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information. Mol Syst Biol 2007, 3:121-138. 1911197, 17593909.
22. Yices An SMT Solver. http://yices.csl.sri.com/, Yices.
23. Z3 An Efficient SMT Solver. http://research.microsoft.com/projects/z3/, Z3.
24. Audemard G. A SAT-based approach for solving formulas over boolean and linear mathematical propositions. CADE. volume 2392 of LNCS 2002, 195-210. Berlin, Germany: Springer.
25. Nieuwenhuis R, Oliveras A. Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools. Proc. 12th Intl. Conf. Logic for Prog., AI, and Reasoning, LPAR volume 3835 of LNCS. 2005, 23-46. Berlin, Germany: Springer.
26. AbuOun M. Genome-scale reconstruction of a salmonella metabolic model. J Biol Chem 2009, 284:29480-29488. 10.1074/jbc.M109.005868, 2785581, 19690172.
27. Oberhardt M. Genome-scale metabolic network analysis of the opportunistic pathogen Pseudomonas aeruginosa PAO1. J Bacteriol 2008, 190:2790-2803. 10.1128/JB.01583-07, 2293256, 18192387.
28. Becker S, Palsson B. Genome-scale reconstruction of the metabolic network in Staphylococcus aureus N315. BMC Microbiol 2005, 5:1-8. 10.1186/1471-2180-5-1, 546209, 15649330.
29. Schilling C. Genome-scale metabolic model of Helicobacter pylori. J Bacteriol 2002, 184:4582-4593. 10.1128/JB.184.16.4582-4593.2002, 135230, 12142428.
30. Schilling C, Palsson B. Assessment of the metabolic capabilities of Haemophilus influenzae Rd through a genome-scale pathway analysis. J Theor Biol 2000, 203:249-283. 10.1006/jtbi.2000.1088, 10716908.