Publications

Sudoku as a Sat Problem

AuthID
P-008-5AH

Author(s)

Lynce, I

Ouaknine, J

Document Type

Proceedings Paper

Year published

2006

Published

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, Sponsors: Annals of Mathematics and Artificial Intelligence;Florida Atlantic University

Indexing