| 2002 | ||
|---|---|---|
| 2 | Michel R. C. M. Berkelaar, Koen van Eijk: Efficient and Effective Redundancy Removal for Million-Gate Circuits. DATE 2002: 1088 | |
| 1998 | ||
| 1 | Harm Arts, Michel R. C. M. Berkelaar, Koen van Eijk: Computing observability don't cares efficiently through polarization. IEEE Trans. on CAD of Integrated Circuits and Systems 17(7): 573-581 (1998) | |
| 1 | Harm Arts | [1] |
| 2 | Michel R. C. M. Berkelaar | [1] [2] |