A branch-and-cut algorithm for multiple sequence alignment

Werkzeuge