公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2021 | Constraint Solving for Synthesis and Verification of Threshold Logic Circuits | Lee N.-Z; JIE-HONG JIANG | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | |||
2021 | Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty | Lee N.-Z; JIE-HONG JIANG | 35th AAAI Conference on Artificial Intelligence, AAAI 2021 | 5 |