TY - JOUR AU - Schloss, P. D. AU - Handelsman, J. PY - 2004 DA - 2004// TI - Status of the microbial census JO - Microbiol MolBiol Rev VL - 68 UR - https://doi.org/10.1128/MMBR.68.4.686-691.2004 DO - 10.1128/MMBR.68.4.686-691.2004 ID - Schloss2004 ER - TY - JOUR AU - Davis, K. E. AU - Joseph, S. J. AU - Janssen, P. H. PY - 2005 DA - 2005// TI - Effects of growth medium, inoculum size, and incubation time on culturability and isolation of soil bacteria JO - Appl Environ Microbiol VL - 71 UR - https://doi.org/10.1128/AEM.71.2.826-834.2005 DO - 10.1128/AEM.71.2.826-834.2005 ID - Davis2005 ER - TY - JOUR AU - Dale, J. M. AU - Popescu, L. AU - Karp, P. D. PY - 2010 DA - 2010// TI - Machine learning methods for metabolic pathway prediction JO - BMC Bioinformatics VL - 11 UR - https://doi.org/10.1186/1471-2105-11-15 DO - 10.1186/1471-2105-11-15 ID - Dale2010 ER - TY - JOUR AU - Paley, S. AU - Karp, P. D. PY - 2002 DA - 2002// TI - Evaluation of computational metabolic-pathway predictions for Helicobacter pylori JO - Bioinformatics VL - 18 UR - https://doi.org/10.1093/bioinformatics/18.5.715 DO - 10.1093/bioinformatics/18.5.715 ID - Paley2002 ER - TY - JOUR AU - Karp, P. AU - Paley, S. AU - Krummenacker, M. AU - Latendresse, M. PY - 2010 DA - 2010// TI - Pathway tools version 13.0: integrated software for pathway/genome informatics and systems biology JO - Brief Bioinform VL - 11 UR - https://doi.org/10.1093/bib/bbp043 DO - 10.1093/bib/bbp043 ID - Karp2010 ER - TY - CHAP AU - Romero, P. AU - Karp, P. ED - Altman, R. ED - Klein, T. PY - 2001 DA - 2001// TI - Nutrient-related analysis of pathway/genome databases BT - Proc Pacific Symposium on Biocomputing PB - World Scientific CY - Singapore ID - Romero2001 ER - TY - CHAP AU - Raspail, F. V. PY - 1825, DA - 1825,// TI - 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 BT - Annales Des Sciences Naturelles ID - Raspail1825, ER - TY - JOUR AU - Keseler, I. M. AU - Collado-Vides, J. AU - Santos-Zavaleta, A. AU - Peralta-Gil, M. PY - 2011 DA - 2011// TI - EcoCyc: a Comprehensive Database of Escherichia coli Biology JO - Nuc Acids Res VL - 39 UR - https://doi.org/10.1093/nar/gkq1143 DO - 10.1093/nar/gkq1143 ID - Keseler2011 ER - TY - JOUR AU - Nieuwenhuis, R. AU - Oliveras, A. AU - Tinelli, C. PY - 2006 DA - 2006// TI - Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T) JO - J ACM VL - 53 UR - https://doi.org/10.1145/1217856.1217859 DO - 10.1145/1217856.1217859 ID - Nieuwenhuis2006 ER - TY - CHAP AU - Dutertre, B. AU - de Moura, L. PY - 2006 DA - 2006// TI - A fast linear-arithmetic solver for DPLL(T) BT - Computer-Aided Verification (CAV’2006). Volume 4144 of Lecture Notes in Computer Science PB - Springer Verlag CY - Berlin ID - Dutertre2006 ER - TY - JOUR AU - Gurvich, V. AU - Khachiyan, L. PY - 1999 DA - 1999// TI - On Generating the irredundant conjunctive and disjunctive normal forms of monotone boolean functions JO - Discrete Appl Math VL - 96-97 UR - https://doi.org/10.1016/S0166-218X(99)00099-2 DO - 10.1016/S0166-218X(99)00099-2 ID - Gurvich1999 ER - TY - JOUR AU - Bryant, R. E. PY - 1986 DA - 1986// TI - Graph-based algorithms for boolean function manipulation JO - IEEE Trans Comput VL - 35 UR - https://doi.org/10.1109/TC.1986.1676819 DO - 10.1109/TC.1986.1676819 ID - Bryant1986 ER - TY - JOUR AU - Bryant, R. E. PY - 1992 DA - 1992// TI - Symbolic boolean manipulation with ordered binary-decision diagrams JO - ACM Comput Surv VL - 24 UR - https://doi.org/10.1145/136035.136043 DO - 10.1145/136035.136043 ID - Bryant1992 ER - TY - STD TI - BuDDy: A binary decision diagram package. http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.itu.dk/research/buddy/index.html, UR - http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.itu.dk/research/buddy/index.html ID - ref14 ER - TY - STD TI - CUDD: CU Decision Diagram Package. http://vlsi.colorado.edu/∼fabio/CUDD/, UR - http://vlsi.colorado.edu/~fabio/CUDD/ ID - ref15 ER - TY - JOUR AU - Bochner, B. R. AU - Gadzinski, P. AU - Panomitros, E. PY - 2001 DA - 2001// TI - Phenotype microarrays for high-throughput phenotypic testing and assay of gene function JO - Genome Res VL - 11 UR - https://doi.org/10.1101/gr.186501 DO - 10.1101/gr.186501 ID - Bochner2001 ER - TY - JOUR AU - Nichols, D. PY - 2008 DA - 2008// TI - Short peptide induces an ‘Uncultivable’ microorganism to grow in vitro JO - Appl Env Microbiol VL - 74 UR - https://doi.org/10.1128/AEM.00393-08 DO - 10.1128/AEM.00393-08 ID - Nichols2008 ER - TY - JOUR AU - Handorf, T. PY - 2008 DA - 2008// TI - An environmental perspective on metabolism JO - J Theor Biol VL - 252 UR - https://doi.org/10.1016/j.jtbi.2007.10.036 DO - 10.1016/j.jtbi.2007.10.036 ID - Handorf2008 ER - TY - CHAP AU - Cottret, L. AU - Milreu, P. AU - Acuna, V. AU - Marchetti-Spaccamela, A. PY - 2008 DA - 2008// TI - Enumerating precursor sets of target metabolites in a metabolic network BT - Proc. WABI. volume 5251 of LNBI ID - Cottret2008 ER - TY - JOUR AU - Papin, J. A. PY - 2003 DA - 2003// TI - Metabolic pathways in the post-genome era JO - Trends Biochem Sci VL - 28 UR - https://doi.org/10.1016/S0968-0004(03)00064-1 DO - 10.1016/S0968-0004(03)00064-1 ID - Papin2003 ER - TY - JOUR AU - Feist, A. AU - Henry, C. AU - Reed, J. AU - Krummenacker, M. AU - Joyce, A. PY - 2007 DA - 2007// TI - A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information JO - Mol Syst Biol VL - 3 UR - https://doi.org/10.1038/msb4100155 DO - 10.1038/msb4100155 ID - Feist2007 ER - TY - STD TI - Yices: An SMT Solver. http://yices.csl.sri.com/, UR - http://yices.csl.sri.com/ ID - ref22 ER - TY - STD TI - Z3: An Efficient SMT Solver. http://research.microsoft.com/projects/z3/, UR - http://research.microsoft.com/projects/z3/ ID - ref23 ER - TY - CHAP AU - Audemard, G. PY - 2002 DA - 2002// TI - A SAT-based approach for solving formulas over boolean and linear mathematical propositions BT - CADE. volume 2392 of LNCS PB - Springer CY - Berlin, Germany ID - Audemard2002 ER - TY - CHAP AU - Nieuwenhuis, R. AU - Oliveras, A. PY - 2005 DA - 2005// TI - Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools BT - Proc. 12th Intl. Conf. Logic for Prog., AI, and Reasoning, LPAR volume 3835 of LNCS PB - Springer CY - Berlin, Germany ID - Nieuwenhuis2005 ER - TY - JOUR AU - AbuOun, M. PY - 2009 DA - 2009// TI - Genome-scale reconstruction of a salmonella metabolic model JO - J Biol Chem VL - 284 UR - https://doi.org/10.1074/jbc.M109.005868 DO - 10.1074/jbc.M109.005868 ID - AbuOun2009 ER - TY - JOUR AU - Oberhardt, M. PY - 2008 DA - 2008// TI - Genome-scale metabolic network analysis of the opportunistic pathogen Pseudomonas aeruginosa PAO1 JO - J Bacteriol VL - 190 UR - https://doi.org/10.1128/JB.01583-07 DO - 10.1128/JB.01583-07 ID - Oberhardt2008 ER - TY - JOUR AU - Becker, S. AU - Palsson, B. PY - 2005 DA - 2005// TI - Genome-scale reconstruction of the metabolic network in Staphylococcus aureus N315 JO - BMC Microbiol VL - 5 UR - https://doi.org/10.1186/1471-2180-5-8 DO - 10.1186/1471-2180-5-8 ID - Becker2005 ER - TY - JOUR AU - Schilling, C. PY - 2002 DA - 2002// TI - Genome-scale metabolic model of Helicobacter pylori JO - J Bacteriol VL - 184 UR - https://doi.org/10.1128/JB.184.16.4582-4593.2002 DO - 10.1128/JB.184.16.4582-4593.2002 ID - Schilling2002 ER - TY - JOUR AU - Schilling, C. AU - Palsson, B. PY - 2000 DA - 2000// TI - Assessment of the metabolic capabilities of Haemophilus influenzae Rd through a genome-scale pathway analysis JO - J Theor Biol VL - 203 UR - https://doi.org/10.1006/jtbi.2000.1088 DO - 10.1006/jtbi.2000.1088 ID - Schilling2000 ER -