Temporofunctional crosstalk noise analysis. - Donald Chai; Alex Kondratyev; Yajun Ran; Kenneth H. Tseng; Yosinori Watanabe; Malgorzata Marek-Sadowska (DAC, 2003)

Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. - Donald Chai; Andreas Kuehlmann (ICCD, 2004)

A fast pseudo-Boolean constraint solver. - Donald Chai; Andreas Kuehlmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Building a better Boolean matcher and symmetry detector. - Donald Chai; Andreas Kuehlmann (DATE, 2006)

Fast Boolean Matching with Don't Cares. - Zile Wei; Donald Chai; A. Richard Newton; Andreas Kuehlmann (ISQED, 2006)