Analyzing Pathways Using SAT-Based Approaches

DOI10.1007/978-3-540-73433-8_12MaRDI QIDQ5429360zbMATH OpenOpenAlexFDO

Authors Merrill Knapp, Keith Laderoute, Ashish Tiwari, Carolyn Talcott, P. Lincoln

Publication date 29 November 2007

Published in Algebraic Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73433-8_12

Mathematics Subject Classification ID

Dynamical systems in biology (37N25) General biology and biomathematics (92B05) Biochemistry, molecular biology (92C40) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Circuits, networks (94C99)

Recommendations

• Analyzing pathways using ASP-based approaches
• Logics in Artificial Intelligence
• Path finding approaches and metabolic pathways

Cited in

(5)

• Twenty years of rewriting logic
• A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
• Analyzing pathways using ASP-based approaches
• Boolean constraint satisfaction problems for reaction networks
• Path Analysis in Systems Science

This page was built for publication: Analyzing Pathways Using SAT-Based Approaches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429360)