Understanding the Power of Clause Learning (2003)

by P Beame, H Kautz, A Sabharwal
Venue:In Proceedings of the 18th International Joint Conference on Artificial Intelligence