@InProceedings{hoffmann:et:al:ijcai-07,
  crossref = "ijcai07",
  author = {Carla Gomes and J{\"o}rg Hoffmann and Ashish Sabharwal and Bart Selman},
  title = {From Sampling to Model Counting},
  pages = {2293-2299}
}



@Proceedings{ijcai07,
  Key = "IJCAI-07",
  title = 	"Proceedings of the 20th International Joint Conference on
                   Artificial Intelligence (IJCAI-07)",
  booktitle = 	"Proceedings of the 20th International Joint Conference on
                   Artificial Intelligence (IJCAI-07)",
  year = 	2007,
  editor = 	"M. Veloso",
  publisher =	 kauf,
  address = 	"Hyderabad, India",
  month = 	Jan
}