We stand with Ukraine  

HyoJung Han

Affiliations:
  • University of Colorado Boulder, CO, USA


According to our database1, HyoJung Han authored at least 6 papers between 2005 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
Biased Model Checking Using Flows.
[BibTeX]
[DOI]
Muralidhar Talupur
,
Hyojung Han
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Clause simplification through dominator analysis.
[BibTeX]
[DOI]
HyoJung Han
,
HoonSang Jin
,
Fabio Somenzi
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Making Deduction More Effective in SAT Solvers.
[BibTeX]
[DOI]
HyoJung Han
,
Fabio Somenzi
,
HoonSang Jin
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2009
On-the-Fly Clause Improvement.
[BibTeX]
[DOI]
HyoJung Han
,
Fabio Somenzi
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2007
Alembic: An Efficient Algorithm for CNF Preprocessing.
[BibTeX]
[DOI]
HyoJung Han
,
Fabio Somenzi
Proceedings of the 44th Design Automation Conference, 2007

2005
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.
[BibTeX]
[DOI]
HoonSang Jin
,
HyoJung Han
,
Fabio Somenzi
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005


  Loading...