R. Korf and E. Schreiber, “Optimally Scheduling Small Numbers of Identical Parallel Machines”, ICAPS, vol. 23, no. 1, pp. 144-152, Jun. 2013.