Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology.
Hannah BrownLei ZuoDan GusfieldPublished in: AlCoB (2020)
Keyphrases
- integer linear programming
- hard problems
- systems biology
- sat solving
- boolean satisfiability
- boolean optimization
- high throughput
- cutting plane
- symmetry breaking
- phase transition
- biological systems
- column generation
- biological networks
- biological data
- sat problem
- sat encodings
- gene regulatory networks
- computational models
- sat solvers
- global constraints
- protein protein interactions
- randomly generated
- hyper heuristics
- microarray
- lower bound
- branch and bound algorithm
- satisfiability problem
- cost function
- pseudo boolean
- combinatorial problems
- machine learning
- constraint satisfaction
- np complete
- genetic programming