%0 Conference Paper %1 conf/isaim/KrocSS08 %A Kroc, Lukas %A Selman, Bart %A Sabharwal, Ashish %B ISAIM %D 2008 %K dblp %T Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. %U http://dblp.uni-trier.de/db/conf/isaim/isaim2008.html#KrocSS08

@inproceedings{conf/isaim/KrocSS08, added-at = {2020-03-12T00:00:00.000+0100}, author = {Kroc, Lukas and Selman, Bart and Sabharwal, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/29a1eed09a567ce64318f761cafc4619e/dblp}, booktitle = {ISAIM}, crossref = {conf/isaim/2008}, ee = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008_0052_3da5c1fd0ca49eef3e503ba9723e3c3b.pdf}, interhash = {f6f569a4f201870ab599e75f23b8479e}, intrahash = {9a1eed09a567ce64318f761cafc4619e}, keywords = {dblp}, timestamp = {2020-03-13T12:54:13.000+0100}, title = {Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/isaim/isaim2008.html#KrocSS08}, year = 2008 }