# Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior With Prior Knowledge of Biological Networks

> Research article (Frontiers in Bioengineering and Biotechnology, 2019) · cited 27× · AI/ML

**Wikidata**: [openalex:W2923424733](https://www.wikidata.org/wiki/openalex:W2923424733)  
**Source**: https://4ort.xyz/entity/bio-modelchecker-using-bounded-constraint-satisfaction-to-seamlessly-integrate-observed-behavior-with-prior-knowledge-of