Analyzing Pathways Using SAT-Based Approaches

Algebraic Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73433-8_12 ◽

2007 ◽

pp. 155-169 ◽

Author(s):

Ashish Tiwari ◽

Carolyn Talcott ◽

Merrill Knapp ◽

Patrick Lincoln ◽

Keith Laderoute

Download Full-text