Combining Metaheuristics and CSP Algorithms to Solve Sudoku
Sudoku as a SAT Problem