Solve Sudokus with R and PicoSAT

Jul 23, 2017 - 13 minutes
Recently I wrote a small package to use the PicoSAT solver in R. PicoSAT is a C program written by Armin Biere that can solve the so called SAT problem. Given a boolean formula, such as A OR B AND NOT C, can we set A, B and C to TRUE or FALSE such that the formula evaluates to TRUE? It turns out many problems (such as a Sudoku) can be formulated as a SAT problem.

Talk about ompr at the UseR2017

Jul 14, 2017 - 1 minutes
I gave a talk about at the User2017 about an optimization package I wrote called ompr that lets you model mixed integer programs algebraically directly in R. The talk has been recorded and is available from Microsoft: