Accelerating SAT Solving by Common Subclause Elimination. - Yaowei Yan; Chris E. Gutierrez; Jeriah Jn-Charles; Forrest Sheng Bao; Yuanlin Zhang 002 (AAAI, 2015)

Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination. - Forrest Sheng Bao; Chris E. Gutierrez; Jeriah Jn-Charles; Yaowei Yan; Yuanlin Zhang 002 (Artif. Intell. Rev., 2018)