公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2008 | To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale | Hsuan-Po Lin; Jie-Hong R. Jiang; Ruei-Rung Lee; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer-Aided Design (ICCAD'08) | 22 | 0 | |
2010 | To SAT or Not to SAT: Scalable Exploration of Functional Dependency | Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; CHUNG-YANG HUANG ; JIE-HONG JIANG | IEEE Transactions on Computers (TCOMP) | |||
2011 | Towards Completely Automatic Decoder Synthesis | Hsiou-Yuan Liu; Yen-Cheng Chou; Chen-Hsuan Lin; Jie-Hong R. Jiang; JIE-HONG JIANG | IEEE/ACM Int'l Conf. on Computer Aided Design (ICCAD'11) | 5 | 0 | |
2014 | Towards Formal Evaluation and Verification of Probabilistic Design | Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer- Aided Design (ICCAD) | 4 | 0 | |
2018 | Towards Formal Evaluation and Verification of Probabilistic Design | Nian-Ze Lee; Jie-Hong R. Jiang; JIE-HONG JIANG ; 江介宏 | IEEE Transactions on Computers | 9 | 7 | |
2010 | TRECO: Dynamic Technology Remapping for Timing Engineering Change Orders | Kuan-Hsien Ho; Jie-Hong R. Jiang; YAO-WEN CHANG ; JIE-HONG JIANG | Asia and South Pacific Design Automation Conference (ASP-DAC'10) | |||
2012 | Unified QBF Certification and its Applications | Valeriy Balabanov; Jie-Hong R. Jiang; JIE-HONG JIANG | Formal Methods in System Design (FMSD) | 119 | 82 | |
2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way | Cheng-Shen Han; Jie-Hong R. Jiang; JIE-HONG JIANG | International Conference on Computer Aided Verification (CAV'12) | 26 | 0 |