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