EasyChair Smart Slide
Recursive Solutions to First-Order Model Counting
Recursive Solutions to First-Order Model Counting