( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

, , , и . ICCAD, стр. 68:1-68:4. IEEE, (2020)

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.

Yi Huang

Yi Huang

Yi Huang

Yi Huang

Yi Huang

 

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

Width minimization in the Single-Electron Transistor array synthesis., , , , , , и . DATE, стр. 1-4. European Design and Automation Association, (2014)An Improved Constellation Extension Scheme for PAPR Reduction in OFDM Systems., , и . VTC Spring, стр. 1-4. IEEE, (2011)Dinner of Luciérnaga: an interactive play with iPhone app in theater., , , и . ACM Multimedia, стр. 559-568. ACM, (2012)Crowd-Aware Space Monitoring by Crowdsourcing a Micro QA Task., и . HCOMP, стр. 24-25. AAAI, (2014)A probabilistic analysis method for functional qualification under Mutation Analysis., , , , , , , и . DATE, стр. 147-152. IEEE, (2012)Using structural relations for checking combinationality of cyclic circuits., , , , и . DATE, стр. 325-328. ACM, (2015)Tag-based User Profiling for Social Media Recommendation, , , и . (2008)Error Injection & Correction: An efficient formal logic restructuring algorithm., , , и . ISOCC, стр. 188-191. IEEE, (2012)2019 CAD Contest: Logic Regression on High Dimensional Boolean Space., , , , и . ICCAD, стр. 1-6. ACM, (2019)An Efficient Interpolation-Based Projected Sum of Product Decomposition via Genetic Algorithm., , , и . J. Multiple Valued Log. Soft Comput., 27 (1): 1-19 (2016)