SAT-Based Metabolics Pathways Analysis without Compilation. - Sabine Pérès; Martin Morterol; Laurent Simon 001 (CMSB, 2014)

Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques. (Advanced reasoning methods in propositional logics: application to metabolic networks). - Martin Morterol (2016)