Hyondeuk Kim

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Hyondeuk Kim, Fabio Somenzi, HoonSang Jin
Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT (2009)
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV (2008)
Hyondeuk Kim, HoonSang Jin, Fabio Somenzi
Disequality Management in Integer Difference Logic via Finite Instantiations. J. Satisf. Boolean Model. Comput. 3 (1-2) (2007)
Chao Wang, Hyondeuk Kim, Aarti Gupta
Hybrid CEGAR: combining variable hiding and predicate abstraction. ICCAD (2007)
Hyondeuk Kim, Fabio Somenzi
Finite Instantiations for Integer Difference Logic. FMCAD (2006)