Predicting Solvability and Difficulty of Sokoban Puzzles. - Hans Schaa; Jose A. Del Solar-Zavala; Nicolas A. Barriga (SCCC, 2024)