Sudoku as a SAT problem,” (2006)

by I Lynce, J Ouaknine
Venue:in Proceedings of the International Symposium on Artificial Intelligence andMathematics (ISAIM ’06),