HoonSang Jin

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

Publications

HyoJung Han, HoonSang Jin, Fabio Somenzi
Clause simplification through dominator analysis. DATE (2011)
HyoJung Han, Fabio Somenzi, HoonSang Jin
Making Deduction More Effective in SAT Solvers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (8) (2010)
Hyondeuk Kim, Fabio Somenzi, HoonSang Jin
Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT (2009)
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)
Hyondeuk Kim, HoonSang Jin, Fabio Somenzi
Disequality Management in Integer Difference Logic via Finite Instantiations. J. Satisf. Boolean Model. Comput. 3 (1-2) (2007)
Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo
Runtime distribution-aware dynamic voltage scaling. ICCAD (2006)
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, Jeong-Taek Kong, Soo-Kwan Eo
Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study. CODES+ISSS (2006)
Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (11) (2006)
HoonSang Jin, Fabio Somenzi
Strong conflict analysis for propositional satisfiability. DATE (2006)
HoonSang Jin, Fabio Somenzi
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
HoonSang Jin, Fabio Somenzi
Prime clauses for fast enumeration of satisfying assignments to boolean circuits. DAC (2005)
HoonSang Jin, HyoJung Han, Fabio Somenzi
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS (2005)
Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Refining the SAT decision ordering for bounded model checking. DAC (2004)
HoonSang Jin, Mohammad Awedh, Fabio Somenzi
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV (2004)
HoonSang Jin, Fabio Somenzi
CirCUs: A Hybrid Satisfiability Solver. SAT (2004)
HoonSang Jin, Fabio Somenzi
CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers (2004)
HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD (2003)
HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and Free Will in Error Traces. TACAS (2002)
HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS (2002)
HoonSang Jin, Myung-Soo Jang, Jin-Suk Song, Jin-Yong Lee, Taek-Soo Kim, Jeong-Taek Kong
Dynamic power estimation using the probabilistic contribution measure (PCM). ISLPED (1999)