Sudoku as a SAT Problem.

Ins Lynce, Jol Ouaknine

Browse the full ISAIM paper archive.