Solving Sudoku via SAT with Mathematica

Introduction A popular problem to write a program for is a Sudoku puzzle solver.  Sudoku puzzles are relatively simple timewasters that many of us have solved on airplanes on paper and pencil (or pen if one is brave).  The basic concept of a Sudoku puzzle is that one has a 9x9 grid that is broken … Continue reading Solving Sudoku via SAT with Mathematica


Comparing trees, functionally

In searching for ideas to write about for the F# advent calendar this year, it dawned on me that it was appropriate to write something about trees given the time of year. One of the big attractions to functional programming for me is the clear conceptual mapping from abstract algorithm to code I personally find … Continue reading Comparing trees, functionally