Skip to Main content Skip to Navigation
Conference papers

SAT-Based Metabolics Pathways Analysis without Compilation

Sabine Pérès 1 Morterol Martin 1 Laurent Simon 2
1 LRI - Laboratoire de Recherche en Informatique
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01108840
Contributor : Sabine Peres Connect in order to contact the contributor
Submitted on : Friday, January 23, 2015 - 3:24:26 PM
Last modification on : Monday, December 20, 2021 - 4:50:12 PM

Identifiers

  • HAL Id : hal-01108840, version 1

Collections

CNRS | UNIV-BORDEAUX | UMR8623 | LRI-LAHDAK | LRI-BIOINFO | EC-PARIS

Citation

Sabine Pérès, Morterol Martin, Laurent Simon. SAT-Based Metabolics Pathways Analysis without Compilation. CMSB 2014, Nov 2014, Manchester, United Kingdom. ⟨hal-01108840⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data