Chanseok Oh

Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL

Chanseok Oh, 2016 .

Extreme SAT-based Constraint solving with R-Solve

Jonathan Springer, Tom Henretty, James R. Ezick, 2014, 2014 IEEE High Performance Extreme Computing Conference (HPEC).

Machine Learning-Based Restart Policy for CDCL SAT Solvers

Chunxiao Li, Jia Hui Liang, Vijay Ganesh, 2018, SAT.

Concolic Fault Abstraction

Thomas Wies, Martin Schäf, Daniel Schwartz-Narbonne, 2014, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Chanseok Oh, 2015, SAT.

VERMEER: A Tool for Tracing and Explaining Faulty C Programs

Thomas Wies, Martin Schäf, Daniel Schwartz-Narbonne, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Patching MiniSat to Deliver Performance of Modern SAT Solvers

Chanseok Oh, 2015 .