E. Y. C. Chen, A. White, and N. R. Sturtevant, “Entropy as a Measure of Puzzle Difficulty”, AIIDE, vol. 19, no. 1, pp. 34-42, Oct. 2023.