Anei Makovec (2019) A tool for visualizing the functionality of algorithms for solving Sokoban puzzles. EngD thesis.