Analyzing Pathways Using SAT-Based Approaches

DOI10.1007/978-3-540-73433-8_12zbMath1126.92021OpenAlexW1925095676MaRDI QIDQ5429360

Keith Laderoute, Merrill Knapp, Ashish Kumar Tiwari, Carolyn L. Talcott, Patrick D. 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) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Biochemistry, molecular biology (92C40) Circuits, networks (94C99) General biology and biomathematics (92B05)

Related Items (1)

Twenty years of rewriting logic

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