Accelerating SAT Solving by Common Subclause Elimination.

Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang

Browse the full AAAI paper archive.