Hyondeuk Kim

According to our database, Hyondeuk Kim authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

Efficient Term-ITE Conversion for Satisfiability Modulo Theories.

Hyondeuk Kim, Fabio Somenzi, HoonSang Jin

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Disequality Management in Integer Difference Logic via Finite Instantiations.

Hyondeuk Kim, HoonSang Jin, Fabio Somenzi

J. Satisf. Boolean Model. Comput., 2007

Hybrid CEGAR: combining variable hiding and predicate abstraction.

Chao Wang, Hyondeuk Kim, Aarti Gupta

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

Finite Instantiations for Integer Difference Logic.

Hyondeuk Kim, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006