Learning Boolean controls in regulated metabolic networks: a case-study

DOI10.1007/978-3-030-85633-5_10zbMath1491.92055OpenAlexW3179903228MaRDI QIDQ2142113

Ludovic Cottret, Alexander Bockmayr, Kerian Thuillier, Loïc Paulevé, Caroline Baroukh, Anne Siegel

Publication date: 25 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85633-5_10

zbMATH Keywords

satisfiability probleminferenceregulated metabolism

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Related Items (1)

Unnamed Item

Uses Software

• Clingo
• caspo

Cites Work

• Multistability and oscillations in genetic control of metabolism
• Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling
• Optimal resource allocation enables mathematical exploration of microbial metabolic configurations
• Analysis of a genetic-metabolic oscillator with piecewise linear models
• Conflict-driven answer set solving: from theory to practice
• On the computational cost of disjunctive logic programming: Propositional case
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Complex optimization in answer set programming
• Answer Set Programming: A Primer
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Multi-shot ASP solving with clingo

This page was built for publication: Learning Boolean controls in regulated metabolic networks: a case-study