A polynomial-time branching procedure for the multiprocessor scheduling problem - Correa, Ricardo C. (Núcleo de Computaçao Eletrônica. Relatório técnico, 1996)