{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:28Z","timestamp":1725564448241},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In systems biology, identifying vital functions like glycolysis from a given metabolic pathway is important to understand living organisms. In this paper, we particularly focus on the problem of finding minimal sub-pathways producing target metabolites from source metabolites. We represent laws of biochemical reactions in propositional formulas and use a state-of-the-art SAT solver as a minimal model generator to solve the problem efficiently. An advantage of our method is that it can treat reversible reactions represented by cycles. Moreover recent advances of SAT technologies enables us to obtain solutions for large pathways. We have applied our method to a whole Escherichia coli pathway. As a result, we found 5 sets of reactions including the conventional glycolysis sub-pathway described in a biological database EcoCyc.<\/jats:p>","DOI":"10.29007\/xp2k","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T16:23:09Z","timestamp":1516724589000},"page":"38-22","source":"Crossref","is-referenced-by-count":0,"title":["Finding Minimal Reaction Sets in Large Metabolic Pathways"],"prefix":"10.29007","volume":"4","author":[{"given":"Takehide","family":"Soh","sequence":"first","affiliation":[]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"WCB10. Workshop on Constraint Based Methods for Bioinformatics"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T16:23:13Z","timestamp":1516724593000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/Xh9J"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/xp2k","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}