https://scholars.lib.ntu.edu.tw/handle/123456789/427585
標題: | Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection | 作者: | N.-Z. Lee Y.-S. Wang J.-H. R. Jiang JIE-HONG JIANG 江介宏 |
公開日期: | 2018 | 來源出版物: | International Joint Conference on Artificial Intelligence (IJCAI) | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/427585 | DOI: | 10.24963/ijcai.2018/186 |
顯示於: | 電子工程學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。