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

by P BEAME, H KAUTZ, A SABHARWAL
Venue:J. Artif. Intell. Res.