1. Hearn, R.A., Demaine, E.D.: Games, Puzzles, and Computation. CRC Press (2009)
2. Lynce, I., Ouaknine, J.: Sudoku as a SAT Problem. In: AI &M (2006)
3. Kwon, G., Jain, H.: Optimized CNF encoding for sudoku puzzles. In: Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR2006), pp. 1–5 (2006)
4. Henz, M., Truong, H.M.: Sudokusat-a tool for analyzing difficult sudoku puzzles. In: Tools and Applications with Artificial Intelligence, pp. 25–35 (2009)
5. Pfeiffer, U., Karnagel, T., Scheffler, G.: A Sudoku-solver for large puzzles using SAT. In: LPAR Short Papers (Yogyakarta), pp. 52–57 (2010)