Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques

Martin Morterol 1
Abstract : The thesis deals with the application and extension of SAT and SMT methods for systems biology. Focus is more particularly on problems issued from study of metabolic networks. State of the art in the study of metabolic networks uses linear programming which is very efficient for enumerating all solutions. In order to compte with linear programming we do not consider the enumeration of all pathways but of those verifying user-specified constraints. The use of SMT and those supplementary constraints allow us using optimizations inaccessible to linear programming.
Complete list of metadatas

Cited literature [50 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-01486750
Contributor : Philippe Dague <>
Submitted on : Friday, March 10, 2017 - 1:03:23 PM
Last modification on : Tuesday, December 17, 2019 - 2:07:30 AM
Long-term archiving on: Sunday, June 11, 2017 - 2:39:14 PM

Identifiers

  • HAL Id : tel-01486750, version 1

Citation

Martin Morterol. Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques. Intelligence artificielle [cs.AI]. Université Paris-Saclay, 2016. Français. ⟨tel-01486750⟩

Share

Metrics

Record views

230

Files downloads

231