1.
Yan Y, Gutierrez C, Jn-Charles J, Bao F, Zhang Y. Accelerating SAT Solving by Common Subclause Elimination. AAAI [Internet]. 2015Mar.4 [cited 2024Mar.28];29(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/9732