Even the great modern authors have issues dealing with dead ends (both in trying to prevent them and finding surprise dead ends they didn't anticipate in their own games). Emily Short has many blog posts on the subject. Zarf put a lot of effort into the state-space solver/prover in his most recent game Hadean Lands. (There was some very interesting Kickstarter posts on that subject.)
