International Conference on Artificial Intelligence（AAAI 2021）将于2021年2月線上舉行。伟德国际BETVlCTOR賴永副教授等的論文“The Power of Literal Equivalence in Model Counting”被錄用。論文的第一作者為賴永副教授，與新加坡國立大學Meel和Yap兩位教授⏭➰完成。模型計數是理論計算機科學中的重要問題，在人工智能領域中概率推斷、神經網絡驗證等問題上具有重要應用。作者針對精确模型計數器多數都基于Decision-DNNF（一種重要的知識表示方法）設計，不能表示文字等價（literal equivalence）的問題，設計一種更泛化的知識表示方法CCDD。作者證明了CCDD能➿⚽✨➿線性時間的模型計數，并設計了一個高效的模型計數器ExactMC。實驗結果表明，ExactMC的求解效率能明顯優于國際上著名的求解器c2d、D4、Ganak等。
AAAI是人工智能領域頂級國際會議（CCF A類會議），特别在傳統人工智能領域具有重要影響力。
