公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2021 | Deep Integration of Circuit Simulator and SAT Solver | Zhang H.-T; Jiang J.-H.R; Amaru L; Mishchenko A; Brayton R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 7 | 0 | |
2021 | Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty | Lee N.-Z; JIE-HONG JIANG | 35th AAAI Conference on Artificial Intelligence, AAAI 2021 | 5 | | |
2015 | Deriving Compositionally Deadlock-free Componenets over Synchronous Automata Compositions | Nina Yevtushenko; Khaled El-Fakih; Tiziano Villa; Jie-Hong R. Jiang; JIE-HONG JIANG | The Computer Journal | 1 | 0 | |
2022 | Design and Automation for Quantum Computation and Quantum Technologies | JIE-HONG JIANG ; De Micheli, Giovanni; Smith, Kaitlin; Soeken, Mathias | IEEE Journal on Emerging and Selected Topics in Circuits and Systems | 0 | 0 | |
2016 | Design Partitioning for Large Scale Equivalence Checking and Functional Correction | Grace Wu; Yi-Tin Sun; Jie-Hong R. Jiang; JIE-HONG JIANG | Design Automation Conference (DAC) | 1 | 0 | |
2019 | Disjoint-support decomposition and extraction for interconnect-driven threshold logic synthesis | Chen, H.; Hung, S.-C.; Jiang, J.-H.R.; JIE-HONG JIANG | Proceedings - Design Automation Conference | 4 | 0 | |
2019 | Effective FPGA Resource Utilization for Quasi Delay Insensitive Implementation of Asynchronous Circuits. | Chang, Yi-Fan Evan; Huang, Ruei-Yang; Jiang, Jie-Hong R.; JIE-HONG JIANG | 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019 | 8 | 0 | |
2018 | Efficient Computation of ECO Patch Functions | A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG ; 江介宏 | Design Automation Conference (DAC) | 14 | 0 | |
2015 | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs | Valeriy Balabanov; Jie-Hong R. Jiang; Mikolas Janota; Magdalena Widl; JIE-HONG JIANG | AAAI Conference on Artificial Intelligence (AAAI-15) | 22 | | |
2018 | Efficient multi-layer obstacle-avoiding region-to-region rectilinear steiner tree construction | Wang, R.-Y.; Pai, C.-C.; Wang, J.-J.; Wen, H.-T.; Pai, Y.-C.; Chang, Y.-W. ; Li, J.C.M.; Jiang, J.-H.R.; JIE-HONG JIANG ; CHIEN-MO LI | Design Automation Conference | 5 | 0 | |
2005 | Efficient Solution of Language Equations Using Partitioned Representations | Alan Mishchenko; Robert K. Brayton; Jie-Hong R. Jiang; Tiziano Villa; Nina Yevtushenko; JIE-HONG JIANG | Design Automation and Test in Europe (DATE'05) | 7 | 0 | |
2013 | Encoding Multi-Valued Functions for Symmetry | Ko-Lung Yuan; Chien-Yen Kuo; Jie-Hong R. Jiang; Meng-Yen Li; JIE-HONG JIANG | IEEE/ACM International Conference on Computer-Aided Design (ICCAD) | | | |
2013 | Encoding multi-valued functions for symmetry. | Yuan, Ko-Lung; Kuo, Chien-Yen; Jiang, Jie-Hong R.; Li, Meng-Yen; JIE-HONG JIANG | The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 | 1 | 0 | |
2022 | Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability | Hsieh, Cheng Han; JIE-HONG JIANG | IJCAI International Joint Conference on Artificial Intelligence | 1 | | |
2020 | Engineering Change Order for Combinational and Sequential Design Rectification | Jiang, J.-H.R.; Kravets, V.N.; Lee, N.-Z.; JIE-HONG JIANG | Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020 | 8 | 0 | |
2011 | Extracting Functions from Boolean Relations Using SAT and Interpolation | Jie-Hong Rol; Jiang, Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG | | | | |
2011 | Extracting functions from boolean relations using SAT and interpolation | Jiang, J.-H.R.; Lin, H.-P.; Hung, W.-L.; JIE-HONG JIANG | Advanced Techniques in Logic Synthesis, Optimizations and Applications | 0 | 0 | |
2016 | Flexibility and Optimization of QBF Skolem-Herbrand Certificates | Valeriy Balabanov; Shuo-Ren Lin; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 0 | 0 | |
2004 | Functional Dependency for Verification Reduction | Jie-Hong R. Jiang; Robert K. Brayton; JIE-HONG JIANG | Int'l Conf. on Computer Aided Verification (CAV'04) | 18 | | |
2004 | Functional dependency for verification reduction | Jiang, J.-H.R.; Brayton, R.K.; JIE-HONG JIANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 18 | | |