DMCA

Sudoku as a SAT problem (2006)

by Inês Lynce , Joël Ouaknine
Venue:In Proc. of the Ninth International Symposium on Artificial Intelligence and Mathematics
Citations:25 - 0 self