Slides and examples to accompany the September 25th invited talk at SAT 2015 - View it on GitHub