Determining gene function in boolean networks using boolean satisfiability.
Pey-Chang Kent LinSunil P. KhatriPublished in: GENSiPS (2012)
Keyphrases
- boolean networks
- gene regulatory networks
- boolean satisfiability
- gene function
- reverse engineering
- sat solvers
- network model
- gene expression data
- logic programs
- biological data
- structure learning
- biological systems
- dynamic bayesian networks
- bayesian inference
- bayesian networks
- neural network
- software engineering
- search space