% @string{aaaio=" National Conference on Artificial Intelligence"}, % @string{aaai05="Proceedings of AAAI-05: 20th" # aaaio} @string{aaai=" AAAI"}, @string{aaai05="20th" # aaai} @inproceedings{symchaff, author={Sabharwal, Ashish}, title={{SymChaff}: A Structure-Aware Satisfiability Solver}, booktitle=aaai05, month=jul, year=2005, address={Pittsburgh, PA}, pages={467-474}}