(1)
Beame, P.; Sabharwal, A. Non-Restarting SAT Solvers With Simple Preprocessing Can Efficiently Simulate Resolution. AAAI 2014, 28.