Hyondeuk Kim, Ph.D. - Publications
Affiliations: | 2010 | Electrical Engineering | University of Colorado, Boulder, Boulder, CO, United States |
Area:
Electronics and Electrical Engineering, Computer Science, Computer EngineeringYear | Citation | Score | |||
---|---|---|---|---|---|
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.56 | |||
Show low-probability matches. |