The cold rolling mill scheduling problem: Some solution methods. (October 2019)