Theory and Applications of Satisfiability Testing SAT 2019 | Kaicus Deutschland