sudokusat - a tool for analyzing difficult sudoku puzzles .
A Computing Procedure for Quantification Theory