Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem.

Sylvain Soliman

Published in: Algorithms Mol. Biol. (2012)

Keyphrases

structural properties
constraint satisfaction problems
constraint satisfaction
network evolution
constraint propagation
constraint programming
topological properties
decomposition methods
tractable classes
np complete
arc consistency
graph based representations
state space
scheduling problem
constraint solving