Hyondeuk Kim (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Hyondeuk Kim, Fabio Somenzi, HoonSang Jin: Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT 2009: 195-208

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

2 Hyondeuk Kim, HoonSang Jin, Fabio Somenzi: Disequality Management in Integer Difference Logic via Finite Instantiations. JSAT 3(1-2): 47-66 (2007)

Selection of 3 from 5 records - Hyondeuk Kim has 8 coauthors

5		Hyondeuk Kim, Fabio Somenzi, HoonSang Jin: Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT 2009: 195-208
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
2		Hyondeuk Kim, HoonSang Jin, Fabio Somenzi: Disequality Management in Integer Difference Logic via Finite Instantiations. JSAT 3(1-2): 47-66 (2007)