English  |  正體中文  |  简体中文  |  2823698  
???header.visitor??? :  30497970    ???header.onlineuser??? :  1322
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"n z lee"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:23Z Canonicalization of Threshold Logic Representation and its Applications 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:23Z Canonicalization of Threshold Logic Representation and its Applications 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:43:11Z Efficient Computation of ECO Patch Functions JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:11Z Efficient Computation of ECO Patch Functions JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:09Z Canonicalization of Threshold Logic Representation and its Applications JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:09Z Canonicalization of Threshold Logic Representation and its Applications JIE-HONG JIANG;J.-H. R. Jiang;N.-Z. Lee;S.-Y. Lee; S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:09Z Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:09Z Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection JIE-HONG JIANG;J.-H. R. Jiang;Y.-S. Wang;N.-Z. Lee; N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page