Doctoral School Information and Communication Technology
From Propositional Model Counting to SAT Solving and Back