Chanseok Oh

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 1

Top Topics

Propositional Satisfiability

Constraint Satisfaction

Clause Learning

Top Venues

Publications

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT (2018)
Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies
VERMEER: A Tool for Tracing and Explaining Faulty C Programs. ICSE (2) (2015)
Chanseok Oh
Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. SAT (2015)
James R. Ezick, Jonathan Springer, Tom Henretty, Chanseok Oh
Extreme SAT-based Constraint solving with R-Solve. HPEC (2014)
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
Concolic Fault Localization. SCAM (2014)