2006 |
6 | EE | Donald Chai,
Andreas Kuehlmann:
Building a better Boolean matcher and symmetry detector.
DATE 2006: 1079-1084 |
5 | EE | Zile Wei,
Donald Chai,
A. Richard Newton,
Andreas Kuehlmann:
Fast Boolean Matching with Don't Cares.
ISQED 2006: 346-351 |
2005 |
4 | EE | Donald Chai,
Andreas Kuehlmann:
A fast pseudo-Boolean constraint solver.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 305-317 (2005) |
2004 |
3 | EE | Donald Chai,
Andreas Kuehlmann:
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation.
ICCD 2004: 387-392 |
2003 |
2 | EE | Donald Chai,
Andreas Kuehlmann:
A fast pseudo-boolean constraint solver.
DAC 2003: 830-835 |
1 | EE | Donald Chai,
Alex Kondratyev,
Yajun Ran,
Kenneth H. Tseng,
Yosinori Watanabe,
Malgorzata Marek-Sadowska:
Temporofunctional crosstalk noise analysis.
DAC 2003: 860-863 |