Theory and Applications of Satisfiability Testing – SAT 2018 - Beyersdorff, Olaf (Springer International Publishing, 2020)