J. Ouaknine
AuthID: R-006-G9W
1
TITLE: Sudoku as a SAT problem
AUTHORS: Lynce, I ; Ouaknine, J;
PUBLISHED: 2006, SOURCE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
AUTHORS: Lynce, I ; Ouaknine, J;
PUBLISHED: 2006, SOURCE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
INDEXED IN: 
Scopus
Scopus