HoonSang Jin, Ph.D. - Publications
Affiliations: | 2005 | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Electronics and Electrical Engineering, Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2010 | Han H, Somenzi F, Jin H. Making Deduction More Effective in SAT Solvers Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 1271-1284. DOI: 10.1109/Tcad.2010.2049135 | 0.614 | |||
2007 | Kim H, Jin H, Somenzi F. Disequality Management in Integer Difference Logic via Finite Instantiations Journal On Satisfiability, Boolean Modeling and Computation. 3: 47-66. DOI: 10.3233/Sat190029 | 0.608 | |||
2005 | Jin H, Somenzi F. An Incremental Algorithm to Check Satisfiability for Bounded Model Checking Electronic Notes in Theoretical Computer Science. 119: 51-65. DOI: 10.1016/J.Entcs.2004.06.062 | 0.618 | |||
Show low-probability matches. |