Martin Morterol

According to our database, Martin Morterol authored at least 2 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

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

PhD thesis, 2016

2014

SAT-Based Metabolics Pathways Analysis without Compilation.

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

Proceedings of the Computational Methods in Systems Biology, 2014