% @string{ijcai=" International Joint Conference on Artificial Intelligence"}
% @string{ijcai07="Proceedings of IJCAI-07: 20th" # ijcai}

@string{ijcai=" IJCAI"}
@string{ijcai07="20th" # ijcai}


@inproceedings{samplecount,
  author={Gomes, Carla P. and Hoffmann, Joerg and Sabharwal, Ashish and Selman, Bart},
  title={From Sampling to Model Counting},
  booktitle=ijcai07,
  address={Hyderabad, India},
  month=jan,
  year=2007,
  pages={2293-2299}}