Understanding the power of clause learning (2003)

by Paul Beame , Henry Kautz , Ashish Sabharwal
Venue:In: Proceedings of the 18th International Joint Conference on Artificial Intelligence
Citations:25 - 4 self