| Original language | English |
|---|---|
| Journal | Artificial Intelligence Review |
| State | Published - Jan 2018 |
ACCELERATING SAT SOLVING BY COMMON SUBCLAUSE ELIMINATION
Forrest Sheng Bao, Chris Gutierrez, Jeriah Jn Charles-Blount, Yaowei Yan, Yuanlin Zhang
Research output: Contribution to journal › Article › peer-review