Solving large double digestion problems for DNA restriction mapping by using branch-and-bound integer linear programming
Restriction Mapping of Cloned DNA