Travelled to:1 × Germany
1 × USA
Collaborated with:A.Kuehlmann A.Kondratyev Y.Ran K.H.Tseng Y.Watanabe M.Marek-Sadowska
Talks about:boolean (2) temporofunct (1) constraint (1) crosstalk (1) symmetri (1) detector (1) matcher (1) analysi (1) solver (1) pseudo (1)
Person: Donald Chai
DBLP: Chai:Donald
Contributed to:
2006
2003Wrote 3 papers:
- DATE-2006-ChaiK #detection #symmetry
- Building a better Boolean matcher and symmetry detector (DC, AK), pp. 1079–1084.
- DAC-2003-ChaiK #constraints #performance #pseudo #theorem proving
- A fast pseudo-boolean constraint solver (DC, AK), pp. 830–835.
- DAC-2003-ChaiKRTWM #analysis
- Temporofunctional crosstalk noise analysis (DC, AK, YR, KHT, YW, MMS), pp. 860–863.