An excellent question that Alexandra Dixon asked me last night after the summit: does puzzle theory have applications in solving, as well as constructing, puzzles?
It absolutely does. In fact, that's really what got me started thinking about this. I'm not one of those solvers who can look at a puzzle and intuit the answer. My internal solving process is probably best described as "puzzle analysis". It involves working through the puzzle graph in my mind.