-
Inês Lynce, Joël Ouaknine. 2006. Sudoku as a SAT problem. In Proc. of Ninth International Symposium on Artificial Intelligence and Mathematics (ISAIM-06).
Inês Lynce, Joël Ouaknine. 2006. Sudoku as a SAT problem. In Proc. of Ninth International Symposium on Artificial Intelligence and Mathematics (ISAIM-06).