https://scholars.lib.ntu.edu.tw/handle/123456789/497776
標題: | A Cube Distribution Approach to QBF Solving and Certificate Minimization. | 作者: | Chen, Li-Cheng Jiang, Jie-Hong R. JIE-HONG JIANG |
公開日期: | 2019 | 起(迄)頁: | 529-546 | 來源出版物: | Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497776 | DOI: | 10.1007/978-3-030-30048-7_31 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。