Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior with Prior Knowledge of Biological Networks
synthetic-biology
constraint-programming
constraint-satisfaction
evolutionary-biology
networks-biology
multivalued-logic
thomas-network
multivalued-network
learning-networks
-
Updated
Apr 10, 2019 - Python