Yan, Y., Gutierrez, C., Jn-Charles, J., Bao, F., & Zhang, Y. (2015). Accelerating SAT Solving by Common Subclause Elimination. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9732