Minimal Model Generation with Factorization and Constrained Search

Koshimura, Miyuki; Kita, Megumi; Hasegawa, Ryuzo

doi:10.1007/3-540-44533-1_82

Search citation statements

Order By: Relevance

Paper Sections

Select...

Propositional Formulas and Minimal Model Generation4

Minimal and Maximal Models1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Algorithms for computing minimal and maximal models have been studied in the past (e.g. [7,78,8,45,51]). In some contexts, minimal and maximal models have been referred to as MIN-ONE ⊆ and MAX-ONE ⊆ solutions (e.g.…”

Section: Minimal and Maximal Modelsmentioning

confidence: 99%

Minimal sets on propositional formulae. Problems and reductions

Marques-Silva

Janota

Mencía

2017

Artificial Intelligence

View full text Add to dashboard Cite

Section: Minimal and Maximal Modelsmentioning

confidence: 99%

Minimal sets on propositional formulae. Problems and reductions

Marques-Silva

Janota

Mencía

2017

Artificial Intelligence

View full text Add to dashboard Cite

“…In this manner, we can compare two models by set inclusion. We here give the following two definitions [8]: Definition 1. Let V p , V 1 and V 2 be sets of propositional variables.…”

Section: Propositional Formulas and Minimal Model Generationmentioning

confidence: 99%

“…Niemelä reported a method to find the minimal models for propositional logic with ECLiPSe Prolog [10]. Koshimura et al also reported a minimal model generator based on SAT solvers [8] which we use in this paper. They provided the following theorem [10,8]: …”

Section: Propositional Formulas and Minimal Model Generationmentioning

confidence: 99%

“…Koshimura et al also reported a minimal model generator based on SAT solvers [8] which we use in this paper. They provided the following theorem [10,8]: …”

Section: Propositional Formulas and Minimal Model Generationmentioning

confidence: 99%

“…We review a procedure of a minimal model generation [8] in Figure 1. The inputs of the procedure are a propositional formula Ψ and a set of propositional variables V p .…”

Section: Propositional Formulas and Minimal Model Generationmentioning

confidence: 99%

See 2 more Smart Citations

Finding Minimal Reaction Sets in Large Metabolic Pathways

Soh¹,

Inoue

EPiC Series in Computing

View full text Add to dashboard Cite

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 minimal model generator based on a state-of-the-art SAT solver. An advantage of our method is that it can treat reversible reactions represented in 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 metabolic pathway. As a result, we found 5 sets of reactions including the conventional glycolysis sub-pathway described in a biological database EcoCyc.

show abstract

Minimal Model Generation with Factorization and Constrained Search

Cited by 2 publications

References 2 publications

Minimal sets on propositional formulae. Problems and reductions

Minimal sets on propositional formulae. Problems and reductions

Finding Minimal Reaction Sets in Large Metabolic Pathways

Contact Info

Product

Resources

About