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

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


@inproceedings{ss07:tutorial-beyondsat,
  author={Sabharwal, Ashish and Selman, Bart},
  title={Beyond Traditional {SAT} Reasoning: {QBF}, Model Counting, and Solution Sampling},
  booktitle=aaai07,
  month=jul,
  year=2007,
  address={Vancouver, BC},
  url={http://www.cs.cornell.edu/~sabhar/tutorials/AAAI07-BeyondSAT},
  note={Tutorial}}