Korf, R.; Schreiber, E. Optimally Scheduling Small Numbers of Identical Parallel Machines. ICAPS 2013, 23, 144-152.