Towards understanding and harnessing the potential of clause learning (2004)

by P Beame, H Kautz, A Sabharwal
Venue:Journal of Arti Intelligence Research