Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers.
Anuj DeshpandeRitwik Kumar LayekPublished in: Biosyst. (2019)
Keyphrases
- fault detection
- sat solvers
- gene regulatory networks
- reverse engineering
- gene expression data
- network model
- orders of magnitude
- fault diagnosis
- constraint satisfaction
- biological data
- search strategies
- bayesian inference
- propositional satisfiability
- search space
- max sat
- neural network
- power plant
- structure learning
- dynamic bayesian networks
- expert systems
- high throughput
- heuristic search
- gene expression
- microarray
- search strategy
- np hard
- clause learning