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