Theory and Applications of Satisfiability Testing -- SAT 2015 - Heule; Weaver, Sean (Springer International Publishing, 2015)