A sat-based approach to multiple sequence alignment (0)

by S D Prestwich, D G Higgins, O O’Sullivan
Venue:Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, volume 2833 of Lecture