EasyChair Smart Slide
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth