[1]
P. Beame and A. Sabharwal, “Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution”, AAAI, vol. 28, no. 1, Jun. 2014.