Search the dblp DataBase
HoonSang Jin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- HoonSang Jin, Mohammad Awedh, Fabio Somenzi
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2004, pp:519-522 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
CODES+ISSS, 2006, pp:235-240 [Conf] - HoonSang Jin, Fabio Somenzi
Prime clauses for fast enumeration of satisfying assignments to boolean circuits. [Citation Graph (0, 0)][DBLP]
DAC, 2005, pp:750-753 [Conf] - Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Refining the SAT decision ordering for bounded model checking. [Citation Graph (0, 0)][DBLP]
DAC, 2004, pp:535-538 [Conf] - HoonSang Jin, Fabio Somenzi
Strong conflict analysis for propositional satisfiability. [Citation Graph (0, 0)][DBLP]
DATE, 2006, pp:818-823 [Conf] - Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
ICCAD, 2003, pp:408-415 [Conf] - Sungpack Hong, Sungjoo Yoo, HoonSang Jin, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo
Runtime distribution-aware dynamic voltage scaling. [Citation Graph (0, 0)][DBLP]
ICCAD, 2006, pp:587-594 [Conf] - 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). [Citation Graph (0, 0)][DBLP]
ISLPED, 1999, pp:279-281 [Conf] - HoonSang Jin, Fabio Somenzi
CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
SAT, 2004, pp:- [Conf] - HoonSang Jin, Fabio Somenzi
CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
SAT (Selected Papers, 2004, pp:211-223 [Conf] - HoonSang Jin, HyoJung Han, Fabio Somenzi
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:287-300 [Conf] - HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
TACAS, 2002, pp:312-326 [Conf] - HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP]
TACAS, 2002, pp:445-459 [Conf] - HoonSang Jin, Fabio Somenzi
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:51-65 [Journal] - HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and free will in error traces. [Citation Graph (0, 0)][DBLP]
STTT, 2004, v:6, n:2, pp:102-116 [Journal] - Chai Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:11, pp:2297-2316 [Journal]
Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP]
Efficient Term-ITE Conversion for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002