Yan, Y.; Gutierrez, C.; Jn-Charles, J.; Bao, F.; Zhang, Y. Accelerating SAT Solving by Common Subclause Elimination. AAAI 2015, 29.