Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms. - Zheng, Chenyu; Li, Zixiang; Ponnambalam, S. G. (International Journal of Production Research, 2025)