3 ms·
Bram Cohen came up with another transformation of Sudoku - to SAT problem: http://news.ycombinator.com/item?id=873073 http://news.ycombinator.com/item?id=87307
by ash 17y ago
Bram Cohen came up with another transformation of Sudoku - to SAT problem:
http://news.ycombinator.com/item?id=873073 http://news.ycombinator.com/item?id=873073
- dons 17y agoIndeed, turning sudoku into a SAT problem is how the Cryptol solution works (using the languages SAT checking tools) http://www.galois.com/blog/2009/03/18/solving-sudoku-using-cryptol/ http://www.galois.com/blog/2009/03/18/solving-sudoku-using-c...