Theory and Applications of Satisfiability Testing – SAT 2017 | lit.salon