Publications
- Z. Wei, D. Chai, A. R. Newton, and A. Kuehlmann, Fast Boolean Matching
with Don't Cares, International Symposium on Quality Electronic
Design, 2006.
- D. Chai and A. Kuehlmann, Building a Better
Boolean Matcher and Symmetry Detector, Design Automation and Test
in Europe, 2006.
- D. Chai and A. Kuehlmann,
A Fast Pseudo-Boolean Constraint Solver,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Systems, 24(3), March 2005, pp. 305-317.
- D. Chai and A. Kuehlmann,
Circuit-based Preprocessing of ILP
and Its Applications in Leakage Minimization and Power Estimation,
Interational Conference on Computer Design, 2004.
(Best Paper Award)
- D. Chai and A. Kuehlmann,
A Fast Pseudo-Boolean Constraint Solver,
Design Automation Conference, 2003.
- D. Chai, A. Kondratyev, Y. Ran, K. Tseng, Y. Watanabe, and
M. Marek-Sadowska,
Temporofunctional Crosstalk Noise Analysis,
Design Automation Conference, 2003.
My Erdös number is a whopping four.