Reasoning over Biological Networks Using Maximum Satisfiability.
João GuerraInês LyncePublished in: CP (2012)
Keyphrases
- biological networks
- maximum satisfiability
- biological data
- complex networks
- graph mining
- biological systems
- boolean satisfiability
- max sat
- gene expression
- link prediction
- pattern mining
- community detection
- network analysis
- combinatorial problems
- sat problem
- learning algorithm
- data analysis
- information retrieval
- structural properties
- gene regulatory networks
- multi agent
- bayesian networks