Hyojung Han, Ph.D. - Publications
Affiliations: | 2011 | Electrical Engineering | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Computer Science, Electronics and Electrical EngineeringYear | 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.38 | |||
Show low-probability matches. |