Travelled to:
1 × USA
Collaborated with:
A.Mishchenko R.K.Brayton M.Chrzanowska-Jeske
Talks about:
represent (1) symmetri (1) function (1) satisfi (1) circuit (1) boolean (1) detect (1) simul (1) larg (1) use (1)
Person: Jin S. Zhang
DBLP: Zhang:Jin_S=
Contributed to:
Wrote 1 papers:
- DAC-2006-ZhangMBC #detection #representation #satisfiability #scalability #simulation #symmetry #using
- Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability (JSZ, AM, RKB, MCJ), pp. 510–515.