Combining Component Caching and Clause Learning for Effective Model Counting

Combining Component Caching and Clause Learning for Effective Model Counting. Sang, T., Bacchus, F., Beame, P., Kautz, H. A., & Pitassi, T. In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), 2004.

Paper

Link bibtex

@inproceedings{DBLP:conf/sat/SangBBKP04,
	author = {Tian Sang and Fahiem Bacchus and Paul Beame and Henry A. Kautz and Toniann Pitassi},
	title = {Combining Component Caching and Clause Learning for Effective Model Counting},
        url = {SangetalSAT2004.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
     	booktitle = {Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004)},
	year = {2004},
	ee = {http://www.satisfiability.org/SAT04/programme/21.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Downloads: 0