% @string{ijcai=" International Joint Conference on Artificial Intelligence"} % @string{ijcai03="Proceedings of IJCAI-03: 18th" # ijcai} @string{ijcai=" IJCAI"} @string{ijcai03="18th" # ijcai} @inproceedings{bks03:learning, author={Beame, Paul and Kautz, Henry and Sabharwal, Ashish}, title={Understanding the Power of Clause Learning}, booktitle=ijcai03, month=aug, year=2003, address={Acapulco, Mexico}, pages={1194-1201}}