J. Ouaknine
AuthID: R-006-G9W
1
TÃTULO: Sudoku as a SAT problem
AUTORES: Lynce, I ; Ouaknine, J;
PUBLICAÇÃO: 2006, FONTE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
AUTORES: Lynce, I ; Ouaknine, J;
PUBLICAÇÃO: 2006, FONTE: 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006 in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
INDEXADO EM: 
Scopus
Scopus