Sudoku as a SAT Problem (2006)