Extreme SAT-based Constraint solving with R-Solve. - James R. Ezick; Jonathan Springer; Tom Henretty; Chanseok Oh (HPEC, 2014)

Concolic Fault Localization. - Chanseok Oh; Martin Schäf; Daniel Schwartz-Narbonne; Thomas Wies (SCAM, 2014)

VERMEER: A Tool for Tracing and Explaining Faulty C Programs. - Daniel Schwartz-Narbonne; Chanseok Oh; Martin Schäf; Thomas Wies (ICSE (2), 2015)

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. - Chanseok Oh (SAT, 2015)

Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL. - Chanseok Oh (2016)

Machine Learning-Based Restart Policy for CDCL SAT Solvers. - Jia Hui Liang; Chanseok Oh; Minu Mathew; Ciza Thomas; Chunxiao Li 002; Vijay Ganesh 001 (SAT, 2018)