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