Concepedia

Donald Chai

DC

4

Publications

264

Citations

4

H-Index

2003

Active since

Affiliations

University of California, Berkeley(Current)

Lawrence Berkeley National Laboratory

Cadence Design Systems (United States)

Donald Chai is an author at University of California, Berkeley specializing in engineering, computer engineering, and verification.

Top concepts

Publications per year

2003–2006

4

Publications

4

A fast pseudo-boolean constraint solver

Donald Chai, Andreas Kuehlmann · 2003 · 117 citations

, , +14

Building a Better Boolean Matcher and Symmetry Detector

Donald Chai, Andreas Kuehlmann · 2006 · 65 citations

, , +19

A fast pseudo-Boolean constraint solver

Donald Chai, Andreas Kuehlmann · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 63 citations

, , +14

Temporofunctional crosstalk noise analysis

Donald Chai, A. Kondratyev, Yajun Ran et al. · 2003 · 19 citations

, , +17

Rows per page

1–4 of 4