A mathematical model and tabu search algorithm for multi-manned assembly line balancing problems with assignment restrictions. Issue 5 (3rd May 2020)