Sudoku as a Sat Problem

AuthID
P-008-5AH
2
Author(s)
Ouaknine, J
Tipo de Documento
Proceedings Paper
Year published
2006
Publicado
in International Symposium on Artificial Intelligence and Mathematics, AI&Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006 in AI&M
Conference
9Th International Symposium on Artificial Intelligence and Mathematics, Isaim 2006, Date: 4 January 2006 through 6 January 2006, Location: Fort Lauderdale, FL, Patrocinadores: Annals of Mathematics and Artificial Intelligence;Florida Atlantic University
Indexing
Publication Identifiers
DBLP: conf/isaim/LynceO06
SCOPUS: 2-s2.0-84864555346
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.