Travelled to:
1 × USA
Collaborated with:
E.M.Clarke K.L.McMillan X.Zhao M.Fujita
Talks about:
transform (1) technolog (1) spectral (1) function (1) boolean (1) applic (1) larg (1) map (1)
Person: J. Yang
DBLP: Yang:J=
Contributed to:
Wrote 1 papers:
- DAC-1993-ClarkeMZFY #scalability
- Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping (EMC, KLM, XZ, MF, JY), pp. 54–60.