Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling | IEEE Conference Publication | IEEE Xplore