Chanseok Oh

According to our database, Chanseok Oh authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2016

Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL.

Chanseok Oh

PhD thesis, 2016

2015

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT.

Chanseok Oh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schäf, Thomas Wies

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Concolic Fault Localization.

Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Extreme SAT-based Constraint solving with R-Solve.

James R. Ezick, Jonathan Springer, Tom Henretty, Chanseok Oh

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014