Theory and Applications of Satisfiability Testing – SAT 2018 - Beyersdorff; Christoph M. Wintersteiger; Wintersteiger, Christoph M. (Springer International Publishing, 2018)