Dynamic power estimation using the probabilistic contribution measure (PCM). - HoonSang Jin; Myung-Soo Jang; Jin-Suk Song; Jin-Yong Lee; Taek-Soo Kim; Jeong-Taek Kong (ISLPED, 1999)

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. - HoonSang Jin; Andreas Kuehlmann; Fabio Somenzi (TACAS, 2002)

Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. - Chao Wang 001; Bing Li; HoonSang Jin; Gary D. Hachtel; Fabio Somenzi (ICCAD, 2003)

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. - HoonSang Jin; Mohammad Awedh; Fabio Somenzi (CAV, 2004)

Refining the SAT decision ordering for bounded model checking. - Chao Wang 001; HoonSang Jin; Gary D. Hachtel; Fabio Somenzi (DAC, 2004)

CirCUs: A Hybrid Satisfiability Solver. - HoonSang Jin; Fabio Somenzi (SAT, 2004)

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. - HoonSang Jin; Fabio Somenzi (BMC@CAV, 2004)

Fate and free will in error traces. - HoonSang Jin; Kavita Ravi; Fabio Somenzi (Int. J. Softw. Tools Technol. Transf., 2004)

Prime clauses for fast enumeration of satisfying assignments to boolean circuits. - HoonSang Jin; Fabio Somenzi (DAC, 2005)

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. - HoonSang Jin; HyoJung Han; Fabio Somenzi (TACAS, 2005)

Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study. - Sungpack Hong; Sungjoo Yoo; Sheayun Lee; Sangwoo Lee; Hye Jeong Nam; Bum-Seok Yoo; Jaehyung Hwang; Donghyun Song; Janghwan Kim; Jeongeun Kim; HoonSang Jin; Kyu-Myung Choi; et al. (CODES+ISSS, 2006)

Strong conflict analysis for propositional satisfiability. - HoonSang Jin; Fabio Somenzi (DATE, 2006)

Runtime distribution-aware dynamic voltage scaling. - Sungpack Hong; Sungjoo Yoo; HoonSang Jin; Kyu-Myung Choi; Jeong-Taek Kong; Soo-Kwan Eo (ICCAD, 2006)

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. - Chao Wang 001; Bing Li; HoonSang Jin; Gary D. Hachtel; Fabio Somenzi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Disequality Management in Integer Difference Logic via Finite Instantiations. - Hyondeuk Kim; HoonSang Jin; Fabio Somenzi (J. Satisf. Boolean Model. Comput., 2007)

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 (CAV, 2008)

Efficient Term-ITE Conversion for Satisfiability Modulo Theories. - Hyondeuk Kim; Fabio Somenzi; HoonSang Jin (SAT, 2009)

Making Deduction More Effective in SAT Solvers. - HyoJung Han; Fabio Somenzi; HoonSang Jin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Clause simplification through dominator analysis. - HyoJung Han; HoonSang Jin; Fabio Somenzi (DATE, 2011)