公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2019 | A Cube Distribution Approach to QBF Solving and Certificate Minimization. | Chen, Li-Cheng; JIE-HONG JIANG | Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings |