% @string{cpaior=" International Conference on Integration of AI and OR Techniques in Constraint Programming"} % @string{cpaior08="CPAIOR-08: 5th" # cpaior} % @string{lncs="Lecture Notes in Computer Science"} @string{cpaior=" CPAIOR"} @string{cpaior08="5th" # cpaior} @string{lncs="LNCS"} @inproceedings{kss08:bpminicount, author={Kroc, Lukas and Sabharwal, Ashish and Selman, Bart}, title={Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting}, booktitle=cpaior08, month=may, year=2008, series=lncs, volume=5015, address={Paris, France}, pages={127-141}}