Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. - HoonSang Jin; HyoJung Han 002; Fabio Somenzi (TACAS, 2005)

Alembic: An Efficient Algorithm for CNF Preprocessing. - HyoJung Han 002; Fabio Somenzi (DAC, 2007)

On-the-Fly Clause Improvement. - HyoJung Han 002; Fabio Somenzi (SAT, 2009)

Making Deduction More Effective in SAT Solvers. - HyoJung Han 002; Fabio Somenzi; HoonSang Jin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Clause simplification through dominator analysis. - HyoJung Han 002; HoonSang Jin; Fabio Somenzi (DATE, 2011)

Biased Model Checking Using Flows. - Muralidhar Talupur; Hyojung Han 002 (TACAS, 2011)