I have a book called Games, Puzzles, and Computation (Hearn & Demaine). It discusses and proves the hardness of various games and puzzles. Not the scale of AAA

I have a book called Games, Puzzles, and Computation (Hearn & Demaine). It discusses and proves the hardness of various games and puzzles. Not the scale of AAA titles, though. It's an interesting read. Not too mathy. They make clause gadgets in the same way as the example here for Super Mario Brothers and use that to prove things. Edit: Realized the author of this book is actually one of the authors of this paper. So, yeah, if you found this article/paper interesting be sure to pick up the book.