公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2018 | Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection | N.-Z. Lee; Y.-S. Wang; J.-H. R. Jiang; JIE-HONG JIANG ; 江介宏 | International Joint Conference on Artificial Intelligence (IJCAI) | 7 | 0 |