HyoJung Han

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 HyoJung Han, Fabio Somenzi: On-the-Fly Clause Improvement. SAT 2009: 209-222

2007

2 HyoJung Han, Fabio Somenzi: Alembic: An Efficient Algorithm for CNF Preprocessing. DAC 2007: 582-587

2005

1 HoonSang Jin, HyoJung Han, Fabio Somenzi: Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300

	2009
3		HyoJung Han, Fabio Somenzi: On-the-Fly Clause Improvement. SAT 2009: 209-222
	2007
2		HyoJung Han, Fabio Somenzi: Alembic: An Efficient Algorithm for CNF Preprocessing. DAC 2007: 582-587
	2005
1		HoonSang Jin, HyoJung Han, Fabio Somenzi: Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300

Coauthor Index

1 HoonSang Jin [1]

2 Fabio Somenzi [1] [2] [3]