% @string{jair="Journal of Artificial Intelligence Research"} @string{jair="JAIR"} @article{bks04:learningJ, author={Beame, Paul and Kautz, Henry and Sabharwal, Ashish}, title={Understanding and Harnessing the Potential of Clause Learning}, journal=jair, volume=22, pages={319-351}, month=dec, year=2004 }