Theory and Applications of Satisfiability Testing – SAT 2017 - Gaspers, Serge (Springer International Publishing, 2020)