Marcus Ritt: A branch-and-bound algorithm with cyclic best-first search for the permutation flow shop scheduling problem. CASE 2016: 872-877