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 International Publishing, 2015)