Jeriah Jn-Charles

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Top Venues

Artif. Intell. Rev.

Publications

Forrest Sheng Bao, Chris E. Gutierrez, Jeriah Jn-Charles, Yaowei Yan, Yuanlin Zhang
Accelerating Boolean Satisfiability (SAT) solving by common subclause elimination. Artif. Intell. Rev. 49 (3) (2018)
Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang
Accelerating SAT Solving by Common Subclause Elimination. AAAI (2015)