Theory and Applications of Satisfiability Testing SAT 2020 | DealShopping Deutschland