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

by Paul Beame , Henry Kautz , Ashish Sabharwal
Venue:Journal of Artificial Intelligence Research
Citations:72 - 11 self