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] |