Modeling and Solving the Rush Hour puzzle. - Lorenzo Cian; Talissa Dreossi; Agostino Dovier (CILC, 2022)