Entropy as a Measure of Puzzle Difficulty. - Eugene You Chen Chen; Adam White 001; Nathan R. Sturtevant (AIIDE, 2023)