| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | HyoJung Han, HoonSang Jin, Fabio Somenzi: Clause simplification through dominator analysis. DATE 2011: 143-148 |
| 2010 | ||
| 4 | | HyoJung Han, Fabio Somenzi, HoonSang Jin: Making Deduction More Effective in SAT Solvers. IEEE Trans. on CAD of Integrated Circuits and Systems 29(8): 1271-1284 (2010) |
| 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 |
| 1 | HoonSang Jin | [1] [4] [5] |
| 2 | Fabio Somenzi | [1] [2] [3] [4] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page