Dipartimento di Ingegneria e Scienza dell'Informazione
From Propositional Model Counting to SAT Solving and Back