Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution.

Paul Beame, Ashish Sabharwal

Browse the full AAAI paper archive.