Analyzing Pathways Using SAT-Based Approaches.

Ashish Tiwari Carolyn L. Talcott Merrill Knapp Patrick Lincoln Keith Laderoute

Published in: AB (2007)

Keyphrases

data mining
support vector
genetic algorithm
bayesian networks
evolutionary algorithm
machine learning algorithms
heuristic search
strengths and weaknesses
answer set programming
metabolic pathways