HoonSang Jin

According to our database, HoonSang Jin authored at least 19 papers between 1999 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Clause simplification through dominator analysis.

HyoJung Han, HoonSang Jin, Fabio Somenzi

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Making Deduction More Effective in SAT Solvers.

HyoJung Han, Fabio Somenzi, HoonSang Jin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2009

Efficient Term-ITE Conversion for Satisfiability Modulo Theories.

Hyondeuk Kim, Fabio Somenzi, HoonSang Jin

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Disequality Management in Integer Difference Logic via Finite Instantiations.

Hyondeuk Kim, HoonSang Jin, Fabio Somenzi

J. Satisf. Boolean Model. Comput., 2007

2006

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Runtime distribution-aware dynamic voltage scaling.

Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

Strong conflict analysis for propositional satisfiability.

HoonSang Jin, Fabio Somenzi

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

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, Jeong-Taek Kong, Soo-Kwan Eo

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2005

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.

HoonSang Jin, HyoJung Han, Fabio Somenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Prime clauses for fast enumeration of satisfying assignments to boolean circuits.

HoonSang Jin, Fabio Somenzi

Proceedings of the 42nd Design Automation Conference, 2005

2004

Fate and free will in error traces.

HoonSang Jin, Kavita Ravi, Fabio Somenzi

Int. J. Softw. Tools Technol. Transf., 2004

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking.

HoonSang Jin, Fabio Somenzi

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

CirCUs: A Hybrid Satisfiability Solver.

HoonSang Jin, Fabio Somenzi

Proceedings of the SAT 2004, 2004

Refining the SAT decision ordering for bounded model checking.

Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 41th Design Automation Conference, 2004

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.

HoonSang Jin, Mohammad Awedh, Fabio Somenzi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

2002

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis.

HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

1999

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

Proceedings of the 1999 International Symposium on Low Power Electronics and Design, 1999