SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. - Martin Henz; Hoang-Minh Truong (Tools and Applications with Artificial Intelligence, 2009)