Sudoku as a Sat Problem

AuthID
 P-008-5AH
2
Author(s)
Document Type
Proceedings Paper
Year published
2006
Published
in 9th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2006
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
Scopus®
Publication Identifiers
Scopus: 2-s2.0-84864555346
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service