Between SAT and UNSAT: the fundamental difference in CDCL SAT C Oh International Conference on Theory and Applications of Satisfiability …, 2015 | 86 | 2015 |
Machine learning-based restart policy for CDCL SAT solvers JH Liang, C Oh, M Mathew, C Thomas, C Li, V Ganesh Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 58 | 2018 |
MapleCOMSPS, MapleCOMSPS LRB, MapleCOMSPS CHB JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart SAT COMPETITION 2016, 52, 2016 | 47 | 2016 |
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL C Oh New York University, 2016 | 44 | 2016 |
MapleCOMSPS LRB VSIDS and MapleCOMSPS CHB VSIDS JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart SAT COMPETITION 2017 12 (3), 20, 2017 | 19 | 2017 |
MiniSat HACK 999ED, MiniSat HACK 1430ED and SWDiA5BY C Oh SAT COMPETITION 2014, 46, 2014 | 14 | 2014 |
VERMEER: A tool for tracing and explaining faulty C programs D Schwartz-Narbonne, C Oh, M Schäf, T Wies 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 8 | 2015 |
COMiniSatPS the Chandrasekhar Limit and GHackCOMSPS C Oh SAT COMPETITION 2016, 29, 2016 | 7 | 2016 |
Patching MiniSat to Deliver Performance of Modern SAT Solvers C Oh SAT-Race, 2015 | 7 | 2015 |
COMiniSatPS Pulsar and GHackCOMSPS C Oh SAT Competition 2017, 1, 2017 | 5 | 2017 |
Concolic Fault Abstraction C Oh, M Schaf, D Schwartz-Narbonne, T Wies Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International …, 2014 | 5 | 2014 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 11,481,469, 2022 | 3 | 2022 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 10,402,747, 2019 | 3 | 2019 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 10,402,747, 2019 | 3 | 2019 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 10,402,747, 2019 | 3 | 2019 |
Extreme SAT-based Constraint solving with R-Solve J Ezick, J Springer, T Henretty, C Oh 2014 IEEE High Performance Extreme Computing Conference (HPEC), 1-6, 2014 | 3 | 2014 |
gluH: Modified Version of glucose 2.1 C Oh SAT COMPETITION 2013, 48, 2013 | 3 | 2013 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 11,899,740, 2024 | 2 | 2024 |
Systems and methods for solving unrestricted incremental constraint problems J Ezick, T Henretty, C Oh, J Springer US Patent 10,860,945, 2020 | 2 | 2020 |
MapleCOMSPS LRB VSIDS and MapleCOM-SPS CHB VSIDS in the 2019 Competition,” JH Liang, C Oh, K Czarnecki, P Poupart, V Ganesh SAT RACE 2019, 22, 2019 | 1 | 2019 |