Lately, I've been thinking a lot about psudeo-boolean constraint solvers. I first came across them while perusing Anders Kaseorg's answer on Quora about a nice combinatorial optimisation problem. I couldn't help but think about the many other types of combinatorial optimisation problems a generalisation of his method would solve. And so naturally, I decided to play with them. These two papers have been particularly useful in helping me with this endeavour.
#Background and Overview (under construction)