Paul Beame, Henry A. Kautz, Ashish Sabharwal. Towards Understanding and Harnessing the Potential of Clause Learning. J. Artif. Intell. Res. (JAIR), 22:319-351, 2004. [doi]
@article{BeameKS04,
title = {Towards Understanding and Harnessing the Potential of Clause Learning},
author = {Paul Beame and Henry A. Kautz and Ashish Sabharwal},
year = {2004},
url = {http://www.cs.washington.edu/research/jair/abstracts/beame04a.html},
researchr = {https://researchr.org/publication/BeameKS04},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {22},
pages = {319-351},
}