%0 Conference Paper %1 conf/sat/SangBBKP04 %A Sang, Tian %A Bacchus, Fahiem %A Beame, Paul %A Kautz, Henry A. %A Pitassi, Toniann %B SAT %D 2004 %K dblp %T Combining Component Caching and Clause Learning for Effective Model Counting. %U http://dblp.uni-trier.de/db/conf/sat/sat2004.html#SangBBKP04

@inproceedings{conf/sat/SangBBKP04, added-at = {2020-03-12T00:00:00.000+0100}, author = {Sang, Tian and Bacchus, Fahiem and Beame, Paul and Kautz, Henry A. and Pitassi, Toniann}, biburl = {https://www.bibsonomy.org/bibtex/23ea4ab7f179cc301ff09a763b28fb5f5/dblp}, booktitle = {SAT}, crossref = {conf/sat/2004}, ee = {http://www.satisfiability.org/SAT04/programme/21.pdf}, interhash = {9731e51c62ddb703adeef63558506629}, intrahash = {3ea4ab7f179cc301ff09a763b28fb5f5}, keywords = {dblp}, timestamp = {2020-03-13T12:48:27.000+0100}, title = {Combining Component Caching and Clause Learning for Effective Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004.html#SangBBKP04}, year = 2004 }