Chanseok Oh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAT | Machine Learning-Based Restart Policy for CDCL SAT Solvers. | Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh |
| 2015 | ICSE | VERMEER: A Tool for Tracing and Explaining Faulty C Programs. | Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schf, Thomas Wies |
| 2015 | SAT | Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. | Chanseok Oh |
| 2014 | SCAM | Concolic Fault Localization. | Chanseok Oh, Martin Schf, Daniel Schwartz-Narbonne, Thomas Wies |