EasyChair Smart Slide
A New Probabilistic Algorithm for Approximate Model Counting
A New Probabilistic Algorithm for Approximate Model Counting