Automated Puzzle Solving
László Aszalós · Journal of Applied Non-Classical Logics · 2002
Smullyan wrote his famous book of puzzles before the boom in automated theorem proving and he solved the puzzles by hand. Hence it is interesting to investigate whether all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.