☰

Hyondeuk Kim, Ph.D.

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

Parents

Sign in to add mentor
Fabio Somenzi grad student 2010 CU Boulder
 (Efficient SMT solving for hardware model checking.)

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.

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
See more...