公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 | |
2008 | 奈米IC設計之前瞻電子設計自動化技術-子計畫三:於奈米積體電路製程變異下考量實體設計之穩健邏輯合成研究 (新制多年期第1年) | 江介宏 | ||||
2008 | 系統驗證之可重用性研究(I) | 江介宏 | ||||
2007 | 自動機與有限狀態機方程解於數位電路最佳化之應用 (新制多年期第1年) | 江介宏 | ||||
2008 | 自動機與有限狀態機方程解於數位電路最佳化之應用 (新制多年期第2年) | 江介宏 |