 | 2009 |
|---|
| 5 |       | Hyondeuk Kim,
Fabio Somenzi,
HoonSang Jin:
Efficient Term-ITE Conversion for Satisfiability Modulo Theories.
SAT 2009: 195-208 |
| 2008 |
|---|
| 4 | | 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: 487-490 |
| 2007 |
|---|
| 3 | | Chao Wang,
Hyondeuk Kim,
Aarti Gupta:
Hybrid CEGAR: combining variable hiding and predicate abstraction.
ICCAD 2007: 310-317 |
| 2 | | Hyondeuk Kim,
HoonSang Jin,
Fabio Somenzi:
Disequality Management in Integer Difference Logic via Finite Instantiations.
JSAT 3(1-2): 47-66 (2007) |
| 2006 |
|---|
| 1 | | Hyondeuk Kim,
Fabio Somenzi:
Finite Instantiations for Integer Difference Logic.
FMCAD 2006: 31-38 |
