Lorenzo Cian, Talissa Dreossi, Agostino Dovier. Modeling and Solving the Rush Hour puzzle. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 294-306, CEUR-WS.org, 2022. [doi]
Abstract is missing.