From Propositional Model Counting to SAT Solving and Back
Department of Information Engineering and Computer Science (DISI), University of Trento, Trento, 18 October, 2019

[ slides ]