Travelled to:1 × USA
1 × United Kingdom
Collaborated with:F.Somenzi H.Jin K.Ravi P.Spacek J.Pierce R.P.Kurshan
Talks about:constrain (1) instanti (1) satisfi (1) convers (1) analysi (1) theori (1) random (1) modulo (1) formal (1) effici (1)
Person: Hyondeuk Kim
DBLP: Kim:Hyondeuk
Contributed to:
2009
2008
2007Wrote 4 papers:
- SAT-2009-KimSJ #modulo theories #performance #satisfiability
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories (HK, FS, HJ), pp. 195–208.
- CAV-2008-KimJRSPKS #analysis #random #simulation
- Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.
- SMT-J-2006-KimJS #difference #finite #integer #logic
- Disequality Management in Integer Difference Logic via Finite Instantiations (HK, HJ, FS), pp. 47–66.