☰

HoonSang Jin, Ph.D. - Publications

Affiliations: 
2005 University of Colorado, Boulder, Boulder, CO, United States 
Area:
Electronics and Electrical Engineering, Computer Science
Tree Info Similar researchers PubMed Report error

3 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year 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.