瀏覽 的方式: 作者 李智群
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2007 | 在電路上實現可滿足性解法器以及其在函數相依性分析與矛盾抽取證明上之應用 Engineering a Circuit-Based SAT Solver and Its Applications on Functional Dependency Analysis and Refutation Proof Extraction | Chih-Chun Lee; 李智群 | 電子工程學研究所 |