學術論文： |
在JAIR、KAIS、IJCAI、AAAI、計算機學報、軟件學報等國際國内著名期刊和會議發表論文多篇，代表性論文如下： [1]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap. The Power of Literal Equivalence in Model Counting. AAAI-21. (CCF推薦為A類會議，人工智能領域頂級會議) [2]Yupeng Zhou, Jinshu Li, Yang Liu, Shuai Lv, Yong Lai*, and Jianan Wang. Improved Memetic Algorithm for Solving the Minimum Weight Vertex Independent Dominating Set. Mathematics, 2020, 8(7): 文獻号1155. (SCI期刊) [3]Yong Lai*, Dayou Liu, Minghao Yin: New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). In: Proceeding of Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), 5010-5014. (CCF推薦為A類會議，人工智能領域頂級會議，口頭報告20分鐘) [4]Yong Lai*, Dayou Liu, Minghao Yin. New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition. Journal of Artificial Intelligence Research, 2017, 58: 453-521. (CCF推薦為B類期刊，人工智能領域頂級期刊) [5]Shengsheng Wang, Changji Wen, Yong Lai*, Yiting Liu, Dayou Liu. Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal Relation. Chinese Journal of Electronics, 2015, 24(3): 508-512 (SCI: CM9KL) [6]劉大有, 賴永*, 王生生. Tableau算法的優化及模型規約技術. 計算機學報, 2014, 37(8): 1647-1657 (計算機學科國内權威期刊，EI: 201436063113) [7]Yong Lai, Dayou Liu*, Shengsheng Wang. Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach. Knowledge and Information Systems, 2013, 35(3): 665-712. (CCF推薦為B類期刊，SCI: 136PQ) [8]劉大有*, 賴永, 林海. C2E: 一個高性能的EPCCL編譯器. 計算機學報, 2013, 36(6): 1254-1260. (計算機學科國内權威期刊，EI: 20132716471292) [9]賴永, 劉大有*. 一種有效的分層加權庫編譯方法. 軟件學報, 2012, 23(10): 2550-2563. (計算機學科國内權威期刊，EI: 20124615671333) [10]賴永, 歐陽丹彤*, 蔡敦波, 呂帥. 基于擴展規則的模型計數與智能規劃方法. 計算機研究與發展, 2009, 46(3): 459-469. (計算機學科國内權威期刊，EI: 20091712051749) |
