( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimum loading dispersion for high-speed tree-type decision circuitry.

, и . ICCAD, стр. 520-525. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jie Jiang

Jie Jiang

Hong Jiang

Hong Jiang

Hong Jiang

 

Другие публикации лиц с тем же именем

Bi-decomposing large Boolean functions via interpolation and satisfiability solving., , и . DAC, стр. 636-641. ACM, (2008)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , и . ICCAD, стр. 434-441. IEEE, (2015)Functional Dependency for Verification Reduction., и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 268-280. Springer, (2004)Optimization of Multi-Valued Multi-Level Networks., , , , , , , и . ISMVL, стр. 168-179. IEEE Computer Society, (2002)Interpolating functions from large Boolean relations., , и . ICCAD, стр. 779-784. ACM, (2009)Inductive equivalence checking under retiming and resynthesis., и . ICCAD, стр. 326-333. IEEE Computer Society, (2007)On breakable cyclic definitions., , и . ICCAD, стр. 411-418. IEEE Computer Society / ACM, (2004)Reducing Multi-Valued Algebraic Operations to Binary., , и . DATE, стр. 10752-10757. IEEE Computer Society, (2003)2QBF: Challenges and Solutions., , , , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 453-469. Springer, (2016)Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits., , и . ISMVL, стр. 200-205. IEEE, (2019)