ML Anthology

Model Counting: A New Strategy for Obtaining Good Bounds

Carla P. Gomes, Ashish Sabharwal, Bart Selman
AAAI 2006 pp. 54-61
/aaai/2006/gomes2006aaai-model/
PDF AAAI Semantic Scholar

Cite

Text

Gomes et al. "Model Counting: A New Strategy for Obtaining Good Bounds." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Gomes et al. "Model Counting: A New Strategy for Obtaining Good Bounds." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/gomes2006aaai-model/)

BibTeX

@inproceedings{gomes2006aaai-model,
  title     = {{Model Counting: A New Strategy for Obtaining Good Bounds}},
  author    = {Gomes, Carla P. and Sabharwal, Ashish and Selman, Bart},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {54-61},
  url       = {https://mlanthology.org/aaai/2006/gomes2006aaai-model/}
}