SAT-Based Metabolics Pathways Analysis without Compilation

Sabine Pérès; Morterol Martin; Laurent Simon

Conference Papers Year : 2014

SAT-Based Metabolics Pathways Analysis without Compilation

(1) , (1) , (2)

1
2

Sabine Pérès

Function : Author
PersonId : 17757
IdHAL : sabine-peres
ORCID : 0000-0002-4467-9989
IdRef : 108927245

Laboratoire de Recherche en Informatique

Morterol Martin

Function : Author
PersonId : 963346

Laboratoire de Recherche en Informatique

Laurent Simon

Function : Author

Laboratoire Bordelais de Recherche en Informatique

Domains

Computer Science [cs] Bioinformatics [q-bio.QM] Life Sciences [q-bio] Quantitative Methods [q-bio.QM] Computer Science [cs] Artificial Intelligence [cs.AI]

Sabine Peres : Connect in order to contact the contributor

https://hal.inria.fr/hal-01108840

Submitted on : Friday, January 23, 2015-3:24:26 PM

Last modification on : Friday, March 24, 2023-2:53:00 PM

Dates and versions

hal-01108840 , version 1 (23-01-2015)

Identifiers

HAL Id : hal-01108840 , version 1

Cite

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

SAT-Based Metabolics Pathways Analysis without Compilation

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share