sudokusat - a tool for analyzing difficult sudoku puzzles .
Sudoku as a SAT Problem