Using Problem Structure for Efficient Clause Learning.

Ashish Sabharwal, Paul Beame, Henry A. Kautz

Browse the full SAT paper archive.