Hyondeuk Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2009
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAT | Efficient Term-ITE Conversion for Satisfiability Modulo Theories. | Hyondeuk Kim, Fabio Somenzi, HoonSang Jin |
| 2008 | CAV | Application of Formal Word-Level Analysis to Constrained Random Simulation. | Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi |
| 2007 | ICCAD | Hybrid CEGAR: combining variable hiding and predicate abstraction. | Chao Wang, Hyondeuk Kim, Aarti Gupta |
| 2006 | FMCAD | Finite Instantiations for Integer Difference Logic. | Hyondeuk Kim, Fabio Somenzi |