☰

Hyojung Han, Ph.D.

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

Parents

Sign in to add mentor
Fabio Somenzi grad student 2011 CU Boulder
 (Increasing The Effectiveness of Deduction in Propositional SAT Solvers.)

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