Chen, E. Y. C.; White, A.; Sturtevant, N. R. Entropy As a Measure of Puzzle Difficulty. AIIDE 2023, 19, 34-42.