Sabine Peres, Martin Morterol, Laurent Simon. SAT-Based Metabolics Pathways Analysis without Compilation. In Pedro Mendes, Joseph O. Dada, Kieran Smallbone, editors, Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Volume 8859 of Lecture Notes in Computer Science, pages 20-31, Springer, 2014. [doi]
Abstract is missing.