A hybrid AC3-tabu search algorithm for solving Sudoku puzzles
Sudoku as a SAT Problem