Analyzing Pathways Using SAT-Based Approaches

DOI10.1007/978-3-540-73433-8_12zbMath1126.92021MaRDI 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

37N25: Dynamical systems in biology

92C45: Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.)

92C40: Biochemistry, molecular biology

94C99: Circuits, networks

92B05: General biology and biomathematics

Related Items

Twenty years of rewriting logic