Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi
Combining Component Caching and Clause Learning for Effective Model Counting
SAT, 2004.
@inproceedings{SAT-2004-SangBBKP,
author = "Tian Sang and Fahiem Bacchus and Paul Beame and Henry A. Kautz and Toniann Pitassi",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/21.pdf",
pages = "20--28",
title = "{Combining Component Caching and Clause Learning for Effective Model Counting}",
year = 2004,
}