{"type":"ScholarlyArticle","title":"From Sampling to Model Counting","authors":[{"name":"Carla P. Gomes","slug":"carla-p-gomes","given":"Carla P.","family":"Gomes","affiliation":""},{"name":"Jörg Hoffmann","slug":"jorg-hoffmann","given":"Jörg","family":"Hoffmann","affiliation":""},{"name":"Ashish Sabharwal","slug":"ashish-sabharwal","given":"Ashish","family":"Sabharwal","affiliation":""},{"name":"Bart Selman","slug":"bart-selman","given":"Bart","family":"Selman","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2007/369","pdf":"https://ijcai.org/proceedings/2007/0369.pdf","markdown":"https://ijcai.org/proceedings/2007/369.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/369","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":369,"pages":{"first":2293,"last":2298},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}