| 2007 | ||
|---|---|---|
| 2 | EE | HyoJung Han, Fabio Somenzi: Alembic: An Efficient Algorithm for CNF Preprocessing. DAC 2007: 582-587 |
| 2005 | ||
| 1 | EE | HoonSang Jin, HyoJung Han, Fabio Somenzi: Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300 |
| 1 | HoonSang Jin | [1] |
| 2 | Fabio Somenzi | [1] [2] |