A dynamic program with fathoming and dynamic upper bounds for the assembly line balancing problem.