瀏覽 的方式: 作者 Chi-Cheng Hu
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2008 | 運用虛擬布林最佳化工具解決可滿足性問題 Solving SAT Problem by Pseudo-Boolean Optimization Engine | Chi-Cheng Hu; 胡啟政 | 電子工程學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2008 | 運用虛擬布林最佳化工具解決可滿足性問題 Solving SAT Problem by Pseudo-Boolean Optimization Engine | Chi-Cheng Hu; 胡啟政 | 電子工程學研究所 |