https://speakerdeck.com/sonuf 2013-02-21 04:12:20 -0500 Sudoku As SAT problem Sudoku As SAT problem Thu, 21 Feb 2013 00:00:00 -0500 https://speakerdeck.com/sonuf/santosh-fernandes https://speakerdeck.com/sonuf/santosh-fernandes