Understanding the Power of Clause Learning.

Paul Beame, Henry A. Kautz, Ashish Sabharwal

Browse the full IJCAI paper archive.