Solving Sudoku via SAT with Mathematicahttp://syntacticsalt.com/2016/03/07/solving-sudoku-via-sat-with-mathematica/ by ms013 • 10 years ago 2 0 10 years agoSYsyntacticsalt.com