---
title: "From Sampling to Model Counting"
authors:
  - "Carla P. Gomes"
  - "Jörg Hoffmann"
  - "Ashish Sabharwal"
  - "Bart Selman"
doi: ""
url: "https://ijcai.org/proceedings/2007/369"
pdf: "https://ijcai.org/proceedings/2007/0369.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "2293-2298"
track: ""
keywords:
---

# From Sampling to Model Counting

Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman

*Proceedings of the Twentieth International Joint Conference on Artificial Intelligence*, pages 2293-2298.

## Abstract

We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previous approaches, our method does not require uniform or near-uniform samples. It instead converts local search sampling without any guarantees into very good bounds on the model count with guarantees. We give a formal analysis and provide experimental results showing the effectiveness of our approach.