HoonSang Jin

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