A Sudoku-Solver for Large Puzzles using SAT. - Uwe Pfeiffer; Tomas Karnagel; Guido Scheffler (LPAR short papers(Yogyakarta), 2010)