Theory and applications of satisfiability testing - SAT 2015 18th international conference, Austin, TX, USA, September 24 - 27, 2015 ; proceedings - Heule, Marijn J. H. 1979- (Springer, 2015)