% @string{aaaio=" National Conference on Artificial Intelligence"}, % @string{aaai06="Proceedings of AAAI-06: 21st" # aaaio} @string{aaai=" AAAI"}, @string{aaai06="21st" # aaai} @inproceedings{mbound, author={Gomes, Carla P. and Sabharwal, Ashish and Selman, Bart}, title={Model Counting: A New Strategy for Obtaining Good Bounds}, booktitle=aaai06, address={Boston, MA}, month=jul, year=2006, pages={54-61}}