Nice article, which also explains the mapping of the puzzle to an exact cover problem and how those can be solved with dangling links as in Knuth's Algorithm X.