Zaslat SMS: Minimum recombination histories by branch and bound