A bi-objective branch-and-bound algorithm for the unit-time job shop scheduling : A mixed graph coloring approach. (August 2021)