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

by P Beame, H A Kautz, A Sabharwal
Venue:J. Artif. Intell. Res. (JAIR