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.

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: