Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver.
David A. RosenbluethStalin MuñozMiguel CarrilloEugenio AzpeitiaPublished in: AlCoB (2014)
Keyphrases
- sat solvers
- boolean networks
- gene regulatory networks
- dynamic bayesian networks
- sat solving
- bayesian inference
- orders of magnitude
- gene expression data
- logic programs
- constraint satisfaction
- boolean satisfiability
- search strategies
- genetic regulatory networks
- sat problem
- bayesian networks
- microarray
- biological systems
- gene expression
- structure learning
- sat instances
- biological data
- network model
- search space
- data sets
- reverse engineering
- inference process
- logical inference
- boolean formula
- search algorithm