Keyword:puzzle

Publications
A Sudoku-Solver for Large Puzzles using SAT Uwe Pfeiffer, Tomas Karnagel and Guido Scheffler In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.