'Where's Waldo?' is for amateurs. This is the big leagues. These puzzles are so truly, well, puzzling that even the people ...

When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of ...