QUBO Model Formulation for Flow-shop Scheduling Problems with Changeover based on Timed Colored Petri Nets. - Takuya Shinjo; Morikazu Nakamura; Norihiko Itani (CANDARW, 2022)