☰

HoonSang Jin, Ph.D.

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

Parents

Sign in to add mentor
Fabio Somenzi grad student 2005 CU Boulder
 (Efficient algorithms for finding all satisfying assignments of a propositional formula.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Han H, Somenzi F, Jin H. (2010) Making Deduction More Effective in SAT Solvers Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 29: 1271-1284
Kim H, Jin H, Somenzi F. (2007) Disequality Management in Integer Difference Logic via Finite Instantiations Journal On Satisfiability, Boolean Modeling and Computation. 3: 47-66
Jin H, Somenzi F. (2005) An Incremental Algorithm to Check Satisfiability for Bounded Model Checking Electronic Notes in Theoretical Computer Science. 119: 51-65
See more...