PAUL: protein structural alignment using integer linear programming and Lagrangian relaxation.

PAUL: protein structural alignment using integer linear programming and Lagrangian relaxation.