A SAT-Based Approach to Multiple Sequence Alignment.
Steven D. PrestwichDesmond G. HigginsOrla O'SullivanPublished in: CP (2003)
Keyphrases
- multiple sequence alignment
- protein sequences
- memory efficient
- biological sequences
- secondary structure
- genetic algorithm
- search algorithm
- multiple alignment
- search problems
- computational biology
- satisfiability problem
- search strategies
- sequence alignment
- sat solvers
- protein structure
- phase transition
- search strategy
- simulated annealing
- neural network