TY  - RPRT
TI  - Towards Understanding and Harnessing the Potential of Clause Learning
AU  - P. Beame
AU  - H. Kautz
AU  - A. Sabharwal
PY  - 2011
DO  - 10.1613/jair.1410
UR  - https://arxiv.org/abs/1107.0044
ID  - 1107.0044
ER  -