Doctoral School Information Engineering and Computer Science
From Propositional Model Counting to SAT Solving and Back