Browsing by Author Yu-Yun Dai
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2013 | MeowSAT: 基於多理論積極整合技術之詞級可滿足性解法器 MeowSAT: A Word-Level Satisfiability Solver Based on Eager Integration of Theories | Yu-Yun Dai; 戴伃芸 | 電子工程學研究所 |