%0 Conference Paper %1 kroc08cpaior %A Kroc, L. %A Sabharwal, A. %A Selman, B. %B Proc. of the 5th Int. Conf. on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08) %D 2008 %K ml %P 127--141 %T Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting

@inproceedings{kroc08cpaior, added-at = {2016-11-26T13:12:23.000+0100}, author = {Kroc, L. and Sabharwal, A. and Selman, B.}, biburl = {https://www.bibsonomy.org/bibtex/2a2ae5f730592a3889774f5434889e278/machinelearning}, booktitle = { Proc. of the 5th Int. Conf. on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-08)}, interhash = {f6f569a4f201870ab599e75f23b8479e}, intrahash = {a2ae5f730592a3889774f5434889e278}, keywords = {ml}, pages = {127--141}, timestamp = {2016-11-26T13:17:02.000+0100}, title = {{L}everaging {B}elief {P}ropagation, {B}acktrack {S}earch, and {S}tatistics for {M}odel {C}ounting}, year = 2008 }