公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1997 | BDD based lambda set selection in Roth-Karp decomposition for LUT architecture. | Jiang, Jie-Hong R.; Jou, Jing-Yang; Huang, Juinn-Dar; Wei, Jung-Shian; JIE-HONG JIANG | Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, Nippon Convention Center, Chiba, Japan, January 28-31, 1997 | 0 | 0 | |
2008 | Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving | Ruei-Rung Lee; Jie-Hong R. Jiang; Wei-Lun Hung; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'08) | 35 | 0 | |
2008 | Bi-decomposing large Boolean functions via interpolation and satisfiability solving. | Lee, Ruei-Rung; Jiang, Jie-Hong Roland; Hung, Wei-Lun; JIE-HONG JIANG | Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008 | 0 | 0 | |
2011 | Bi-decomposition using SAT and interpolation | Lee, R.-R.; Jiang, J.-H.R.; Hung, W.-L.; JIE-HONG JIANG | Advanced Techniques in Logic Synthesis, Optimizations and Applications | 0 | 1 | |
2011 | Bi-decomposition Using SAT and Interpolation | Ruei-Rung Lee; Jie-Hong Rol Jiang; Wei-Lun Hung; JIE-HONG JIANG | | | | |
2019 | Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity | Huang, W.-C.; Jiang, J.-H.R.; Fages, F.; Molina, F.; JIE-HONG JIANG | BioCAS 2019 - Biomedical Circuits and Systems Conference, Proceedings | 1 | 0 | |
2021 | Bit-Slicing the Hilbert Space: Scaling up Accurate Quantum Circuit Simulation | Tsai Y.-H; Jiang J.-H.R; Jhang C.-S.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 8 | 0 | |
2010 | Boolean Matching of Function Vectors with Strengthened Learning | Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG | Int'l Conf. on Computer-Aided Design (ICCAD'10) | 9 | 0 | |
2010 | BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning | Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang; JIE-HONG JIANG | ACM/IEEE Design Automation Conference (DAC'10) | 13 | 0 | |
2014 | Building Reconfigurable Circuitry in a Biochemical World | Hui-Ju Katherine Chiang; Jie-Hong Rol; Jiang; Franç ois Fages; JIE-HONG JIANG | IEEE Biomedical Circuits and Systems Conference (BioCAS) | 6 | 0 | |
2018 | Canonicalization of Threshold Logic Representation and its Applications | S.-Y. Lee; N.-Z. Lee; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | Int’l Conf. on Computer-Aided Design (ICCAD) | 9 | 0 | |
2020 | Circuit learning for logic regression on high dimensional boolean space | Chen P.-W; Huang Y.-C; Lee C.-L; Jiang J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 4 | 0 | |
2021 | A Circuit-Based SAT Solver for Logic Synthesis | Zhang H.-T; JIE-HONG JIANG ; Mishchenko A. | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 6 | 0 | |
2016 | Clauses Versus Gates in CEGAR-Based 2QBF Solving. | Balabanov, Valeriy; Jiang, Jie-Hong Roland; Mishchenko, Alan; Scholl, Christoph; JIE-HONG JIANG | Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. | | | |
2012 | Clock Rescheduling for Timing Engineering Change Orders | Kuan-Hsien Ho; Xin-Wei Shih; Jie-Hong R. Jiang; JIE-HONG JIANG | Asia and South Pacific Design Automation Conference (ASP-DAC'12) | 4 | 0 | |
2017 | Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits | Cheng-Yu Shih; Chun-Hong Shih; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | Design Automation Conference (DAC) | 0 | 0 | |
1998 | Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis. | Jiang, Jie-Hong Roland; Jou, Jing-Yang; Huang, Juinn-Dar; JIE-HONG JIANG | Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998. | 0 | 0 | |
2021 | Compatible Equivalence Checking of X-Valued Circuits | Wang Y.-N; Luo Y.-R; Chien P.-C; Wang P.-L; Wang H.-R; Lin W.-H; JIE-HONG JIANG ; CHUNG-YANG HUANG | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 0 | 0 | |
2012 | Compiling Program Control Flows into Biochemical Reactions | De-An Huang; Jie-Hong R. Jiang; Ruei-Yang Huang; Chi-Yun Cheng; JIE-HONG JIANG | Int'l Conf. on Computer-Aided Design (ICCAD'12) | 9 | 0 | |
2019 | Comprehensive search for ECO rectification using symbolic sampling | Kravets, V.N.; Lee, N.-Z.; Jiang, J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 6 | 0 | |