2010
A Sudoku-Solver for Large Puzzles using SAT.
[DOI]
Uwe Pfeiffer
,
Tomas Karnagel
,
Guido Scheffler
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010