Cette thèse propose d'étendre les meilleures méthodes actuelles de raisonnement symbolique en calcul propositionnel (SAT, BDD, etc.), telles que mises en œuvre en particulier dans les tâches de diagnostic et d'explication, afin de les appliquer à la biologie des systèmes, plus précisément l'étude des réseaux métaboliques.
Context
Coopération entre les équipes IASI et BioInfo du LRI et l'équipe Méthodes Formelles du LaBRI