% @string{isaim=" International Symposium on Artificial Intelligence and Mathematics"}
% @string{isaim08="ISAIM-08: 10th" # isaim}

@string{isaim=" ISAIM"}
@string{isaim08="10th" # isaim}


@inproceedings{kss08-isaim:bpminicount,
  author={Kroc, Lukas and Sabharwal, Ashish and Selman, Bart},
  title={Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting},
  booktitle=isaim08,
  month=jan,
  year=2008,
  address={Fort Lauderdale, FL}}