% @string{sat=" International Conference on Theory and Applications of Satisfiability Testing"}
% @string{sat06="Proceedings of SAT-06: 9th" # sat}
% @string{lncs="Lecture Notes in Computer Science"}

@string{sat=" SAT"}
@string{sat06="9th" # sat}
@string{lncs="LNCS"}


@inproceedings{duaffle,
  author={Sabharwal, Ashish and Ansotegui, Carlos and Gomes, Carla P. and Hart, Justin W. and Selman, Bart},
  title={{QBF} Modeling: Exploiting Player Symmetry for Simplicity and Efficiency},
  booktitle=sat06,
  month=aug,
  year=2006,
  address={Seattle, WA},
  series=lncs,
  volume=4121,
  pages={353-367}}