( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.

, , , и . ICCAD, стр. 916-920. IEEE, (2015)

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.

Chih-Jen Hsueh

Chih-Jen Hsieh

Jen-Chih Chi

Jen-Jen Lin

Matei Chihaia

 

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

ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite., , , , и . ICCAD, стр. 265-267. IEEE, (2013)ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite., , , и . ICCAD, стр. 357-360. IEEE, (2014)ICCAD-2017 CAD contest in resource-aware patch generation., , , и . ICCAD, стр. 857-862. IEEE, (2017)ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite., , , и . ICCAD, стр. 916-920. IEEE, (2015)2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper., , , , , , и . ICCAD, стр. 1-6. IEEE, (2021)SoC HW/SW verification and validation., , , , и . ASP-DAC, стр. 297-300. IEEE, (2011)ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk., , , и . ICCAD, стр. 68:1-68:4. IEEE, (2020)2019 CAD Contest: Logic Regression on High Dimensional Boolean Space., , , , и . ICCAD, стр. 1-6. ACM, (2019)2022 CAD Contest Problem A: Learning Arithmetic Operations from Gate-Level Circuit., , , и . ICCAD, стр. 93:1-93:4. ACM, (2022)ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite., , и . ICCAD, стр. 40. ACM, (2016)