Y. Yan, C. Gutierrez, J. Jn-Charles, F. Bao, and Y. Zhang, “Accelerating SAT Solving by Common Subclause Elimination”, AAAI, vol. 29, no. 1, Mar. 2015.