搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 2 筆結果,共 2 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2011 | 運用圖形同構於滿足性解法器之加速 Application of Graph Automorphism on Improving SAT Solver Performance | Chun-Xun Lin; 林春薰 | 電子工程學研究所 |
2011 | 運用計算統一設備架構實現之平行化布爾可滿足性解法器 Implementation of Parallel Boolean Satisfiability Solver by CUDA (Compute Unified Device Architecture) | Kung-Ming Lin; 林拱民 | 電子工程學研究所 |
探索
系所
- 2 電子工程學研究所
學位
- 2 碩士
指導教授
關鍵字
- 1 boolean satisfiability problem,gr...
- 1 boolean satisfiability problem,gr...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 boolean satisfiability problem,sa...
- 1 布林可滿足性問題
- 下一頁 >
全文授權
- 1 同意授權(全球公開)
- 1 有償授權
全文
- 2 true