EasyChair Smart Slide
Proof Complexity of Propositional Model Counting
Proof Complexity of Propositional Model Counting