( en | de | ru )

 

Disambiguation of "Jin, HoonSang"

Author of the publication

copydeleteadd this publication to your clipboard
Clause simplification through dominator analysis.

, , and . DATE, page 143-148. IEEE, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xiufang Jin

Depu Jin

Dexiang Jing

Hong Jin

Li Jin

 

Other publications of authors with the same name

Clause simplification through dominator analysis., , and . DATE, page 143-148. IEEE, (2011)Efficient Term-ITE Conversion for Satisfiability Modulo Theories., , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 195-208. Springer, (2009)Refining the SAT decision ordering for bounded model checking., , , and . DAC, page 535-538. ACM, (2004)Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit., , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 287-300. Springer, (2005)Making Deduction More Effective in SAT Solvers., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (8): 1271-1284 (2010)An Incremental Algorithm to Check Satisfiability for Bounded Model Checking., and . BMC@CAV, volume 119 of Electronic Notes in Theoretical Computer Science, page 51-65. Elsevier, (2004)Dynamic power estimation using the probabilistic contribution measure (PCM)., , , , , and . ISLPED, page 279-281. ACM, (1999)Fate and free will in error traces., , and . Int. J. Softw. Tools Technol. Transf., 6 (2): 102-116 (2004)Disequality Management in Integer Difference Logic via Finite Instantiations., , and . J. Satisf. Boolean Model. Comput., 3 (1-2): 47-66 (2007)Application of Formal Word-Level Analysis to Constrained Random Simulation., , , , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 487-490. Springer, (2008)