瀏覽 的方式: 作者 鄭振牟(Chen-Mou Chen)
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 基於 Max-SAT 求解器的二元體表達式簡化工具 A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver | Wei-Han Chen; 陳韋翰 | 電子工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2014 | 基於 Max-SAT 求解器的二元體表達式簡化工具 A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver | Wei-Han Chen; 陳韋翰 | 電子工程學研究所 |