From Propositional Model Counting to SAT Solving and BackDepartment of Information Engineering and Computer Science (DISI), University of Trento, Trento, 18 October, 2019 [ slides ]