Technical Reports Cover

In this work, we develop a Monte Carlo Tree Search based approach to procedurally generate Sokoban puzzles. To this end, we propose heuristic metrics based on surrounding box path congestion and level tile layout to guide the search towards interesting puzzles. Our method generates puzzles through simulated game play, guaranteeing solvability in all generated puzzles. Our algorithm is efficient, capable of generating challenging puzzles very quickly (generally in under a minute) for varying board sizes. The ability to generate puzzles quickly allows our method to be applied in a variety of applications such as procedurally generated mini-games and other puzzle-driven game elements.