Theory and Applications of Satisfiability Testing – SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Heule, Marijn; Weaver, Sean (Springer International Publishing : Imprint: Springer, 2015)