Solving Large Combinatorial Problems in Molecular Biology Using the ElipSys Parallel Constraint Logic Programming System.
Dominic A. ClarkChristopher J. RawlingsJack ShiraziLiang-Liang LiKees SchuermanMike ReeveAndré VéronPublished in: Comput. J. (1993)
Keyphrases
- combinatorial problems
- constraint logic programming
- molecular biology
- constraint programming
- solving hard
- graph coloring
- finite domain
- global constraints
- combinatorial search
- constraint solving
- constraint satisfaction problems
- combinatorial optimization
- constraint satisfaction
- constraint propagation
- computational biology
- integer programming
- biological data
- arc consistency
- constraint solver
- microarray
- protein structure
- sat encodings
- search strategies
- answer set programming
- high throughput
- evolutionary algorithm
- logic programming
- genetic algorithm
- traveling salesman problem
- metaheuristic
- cost function
- protein sequences
- database systems