公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1999 | Optimum loading dispersion for high-speed tree-type decision circuitry. | Jiang, Jie-Hong Roland; JIE-HONG JIANG ; HUI-RU JIANG | Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999 | 0 | 0 | |
2019 | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. | Scholl, Christoph; Jiang, Jie-Hong Roland; Wimmer, Ralf; Ge-Ernst, Aile; JIE-HONG JIANG | The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. | | | |
2003 | Reducing Multi-Valued Algebraic Operations to Binary. | Jiang, Jie-Hong Roland; Mishchenko, Alan; Brayton, Robert K.; JIE-HONG JIANG | 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany | | | |
2008 | 運用可滿足性求解之歸納式等同驗證與關係確定 | 洪偉倫; Hung, Wei-Lun | | | | |