A SAT-Based Approach to Multiple Sequence Alignment.

Steven D. Prestwich, Desmond G. Higgins, Orla O'Sullivan

Browse the full CP paper archive.