% @string{aaai=" Conference on Artificial Intelligence"},
% @string{aaai07="Proceedings of AAAI-07: 22nd" # aaai}

@string{aaai=" AAAI"},
@string{aaai07="22nd" # aaai}


@inproceedings{ghss07:csp-counting,
  author={Gomes, Carla P. and {van Hoeve}, Willem-Jan and Sabharwal, Ashish and Selman, Bart},
  title={Counting {CSP} Solutions Using Generalized {XOR} Constraints},
  booktitle=aaai07,
  month=jul,
  year=2007,
  address={Vancouver, BC},
  pages={204-209}}