个人简历

●基本情况 王艺源，男，东北师范大学信息科学与技术学院副教授，博士生导师，吉林省高等学校智能信息处理重点实验室副主任，中国人工智能学会智能服务专委会委员，中国计算机学会理论计算机科学专委会委员、国际期刊IEEE Transactions on Learning Technologies专刊编委（Guest Editor）。2017年于吉林大学计算机科学与技术学院获得工学博士学位。2020年获得吉林省青年人才托举计划。主要从事人工智能、算法设计及其应用、逻辑推理、优化求解等方向研究，特别关注大规模组合优化问题求解等。主持并参与多项国家自然基金，在《Artificial Intelligence》《Journal of Artificial Intelligence Research》《Science China Information Sciences》《European Journal of Operational Research》、AAAI、IJCAI、CP等上发表学术论文40余篇，其中以第一作者或通讯作者发表计算机学会推荐A类论文10余篇，并多次受邀担任IJCAI、AAAI等会议程序委员会委员。2020年国际遗传与进化计算会议（GECCO）摄像机布局算法竞赛USCP赛道第三名；2022年国际MaxSAT比赛中包揽了完备组加权赛道和非加权赛道的冠军和亚军。 欢迎有意保送和报考的硕士/博士研究生同学与我联系。具体要求如下： 1）对科研抱有热情。 2）至少精通一门编程语言。 3）乐观积极，喜欢探索，乐于合作。 4）有扎实的数学基础和熟练的英文读写能力。 5）对下面相关领域(算法设计及其应用，组合优化，优化求解，逻辑推理等)研究感兴趣。如果你不确定你的研究兴趣是否适合或者有其他的问题,,可以随时通过邮件联系我（wangyy912@nenu.edu.cn）。 GOOGLE: https://scholar.google.com/citations?user=NJeMv58AAAAJ DBLP: https://dblp.uni-trier.de/pid/122/9193.html NENU: http://ai.nenu.edu.cn/members/wangyy.html 吉林省高等学校智能信息处理重点实验室主页：ai.nenu.edu.cn ●教育经历 2007.09-2011.06，吉林大学软件学院，软件工程，学士 2011.09-2014.06，吉林大学计算机科学与技术学院，计算机软件与理论，硕士，导师：欧阳丹彤 2014.09-2017.06，吉林大学计算机科学与技术学院，计算机软件与理论，博士，导师：欧阳丹彤 2015.10-2016.04，德国德累斯顿工业大学，访问学者 ●工作经历 2017.11-2019.11，东北师范大学信息科学与技术学院，师资博士后，导师：殷明浩 2019.11-2020.06，东北师范大学信息科学与技术学院，讲师 2020.06至今，东北师范大学信息科学与技术学院，副教授 2021.10至今，东北师范大学信息科学与技术学院，博士生导师 ●社会兼职 [1] 2019.01至今，程序委员会委员（PC Member），IJCAI 2020-2024, AAAI 2020-2024； Senior PC， IJCAI2021 [2] 2020.07至今，中国计算机学会长春分部，委员 [3] 2020.10至今，中国人工智能学会智能服务专委会，委员 [4] 2022.03至今，Frontiers of Computer Science期刊，学术推广编辑 [5] 2022.07至今，中国计算机学会(CCF)理论计算机科学专委会，执行委员 [6] 2022.08至今，Frontiers of Computer Science期刊，预备青年编委 [7] 2024.03至今，IEEE Transactions on Learning Technologies期刊，专刊编委（Guest Editor） [8] 2024.05至今，吉林省青年科技工作者协信息与电子科学专业委员会，秘书长 ●主持项目 [1] 国家自然科学基金青年项目，“支配集问题的局部搜索算法研究”（61806050），2019/01-2021/12，25万，主持 [2] 吉林省教育厅，“局部搜索算法在集合覆盖问题的研究”（JJKH20190289KJ），2019/01-2020/12，2.5万，主持 [3] 吉林省科学技术协会, “第四批吉林省青年科技人才托举工程”（QT202005）,2020/09-2023/12，10万，主持 [4] 国家自然科学基金面上项目，“不完备知识下的约束满足问题模型与求解算法研究”（61972063）,2020/01-2023/12，20万，参与单位负责人 [5] 吉林省科技厅自然科学基金自由探索一般项目，“大规模集合覆盖问题下关键求解技术研究”（YDZJ202201ZYTS412），2022/01-2024/12，10万，主持 [6] 吉林省科学技术协会，“第十六届吉林省科协青年科学家论坛——人工智能未来发展趋势圆桌会议”（QKLT202215），2022/08-2022/11，2万，主持 [7] CCF-华为胡杨林基金A类项目，“伪布尔优化问题的求解器研究”（CCF-HuaweiLK2023001） ，2023/12-2024/12，20万，主持 ●发明专利 [1] 一种结合覆盖启发式的数量感知练习推荐方法，ZL202111285262.3 ，20220401，第一完成人. ●外观专利 [1] 玩具（教育用认色按钮）, CN 307848915 S, 20230217, 第二完成人 ●国际比赛 [1] 2020年，GECCO集合覆盖竞赛，USCP赛道，第三名 [2] 2022年，MaxSAT Evaluation 2022（国际MaxSAT比赛），完备组（加权赛道）冠军和亚军，完备组（非加权赛道），冠军和亚军。 [3] 2023年，MaxSAT Evaluation 2023（国际MaxSAT比赛），完备组（加权赛道）冠军和亚军，完备组（非加权赛道），第四名。 ●发表论文 [42] Sun R, Wang Y, Yin M. Improving Local Search Algorithms for Clique Relaxation Problems via Group Driven Initialization. Frontiers of Computer Science, 2024, accept. (CCF B，中科院3区, 通讯作者) [41] Sun R, Wang Y, Wang S, Li H, Li X, Yin M. Nukplex: An Efficient Local Search Algorithm for Maximum K-Plex Problem. IJCAI, 2024, accept. (CCF A类会议，通讯作者) [40] Li R, Xu R, Wang F, Hu S, Wang Y, Yin M, Li H. A Local Search Algorithm with Movement Gap and Adaptive Configuration Checking for the Maximum Weighted S-Plex Problem. Engineering Applications of Artificial Intelligence, 2024, 133: 1-14. （CCF C，通讯作者） [39] Zhou W, Zhou Y, Wang Y, Cai S, Wang S, Wang X, Yin M. Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization, CP, 2023, 41:1-41:18. (CCF B类会议，通讯作者) [38] Wang Y, Jin C, Cai S, Lin Q. PathLAD-Plus: An Improved Exact Algorithm for Subgraph Isomorphism Problem. IJCAI, 2023, 5639-5647. (CCF A类会议，第一作者) [37] Sun R, Wu J, Jin C, Wang Y, Zhou W, Yin M. An Efficient Local Search Algorithm for Minimum Positive Influence Dominating Set Problem. Computers and Operations Research, 2023, 154: 106197. (中科院2区，通讯作者) [36] Chen J, Cai C, Wang Y, Xu W, Ji J, Yin M. Improved Local Search for the Minimum Weight Dominating Set Problem in Massive Graphs By Using a Deep Optimization Mechanism. Artificial Intelligence, 2023, 314: 103819. (CCF A类，中科院2区，通讯作者) [35] Li X, Jiang Y, Li C, Wang Y, Ouyang J. Learning with Partial Labels from Semi-supervised Perspective. AAAI, 2023, 8666-8674. (CCF A类会议，共同作者) [34] Pan S, Ma Y, Wang Y, Zhou Z, Ji J, Yin M, Hu S. An Improved Master-Apprentice Evolutionary Algorithm for Minimum Independent Dominating Set Problem. Frontiers of Computer Science, 2023, 17(4): 174326. (CCF B类，中科院2区，共同作者) [33] Zhou Y, Liu X, Hu S, Wang Y, Yin M. Combining Max-Min Ant System with Effective Local Search for Solving the Maximum Set k-Covering Problem. Knowledge-Based System, 2022, 239: 108000. (CCF C类，中科院1区，通信作者) [32] Chen J, Wang Y, Cai S, Yin M, Zhou Y, Wu J. NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. AAAI, 2022, 10146-10155. (CCF A类会议，通讯作者) [31] Pan S, Wang Y, Yin M. A Fast Local Search Algorithm for the Latin Square Completion Problem. AAAI, 2022, 10327-10335. (CCF A类会议，通讯作者) [30] Wang Y, Cai S, Chen J, et al. SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem (Extended Abstract). IJCAI, 2021, accepted. (CCF A类会议，第一作者) [29] Li H, Wang K, Wang Y, Cai S. Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-layer Local Search. CP, 2021, 39:1--39:16. (CCF B类会议，共同作者) [28] Cai S, Lin J, Wang Y, Strash D. A Semi-exact Algorithm for Quickly Computing a Maximum Weight Clique in Large Sparse Graphs. Journal of Artificial Intelligence Research, 2021, 72: 39-67.（CCF B类, 中科院2区, 共同作者） [27] Zhang X, Li B, Cai S, Wang Y. Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set[J]. Journal of Artificial Intelligence Research, 2021, 71: 89-119.（CCF B类, 中科院2区, 通讯作者） [26] Wang Y, Pan S, Al-Shihabi S, Zhou P, et al. An Improved Configuration Checking-Based Algorithm for the Unicost Set Covering Problem[J]. European Journal of Operational Research, 2021, 294(2), 476-491. (中科院1区，第一作者) [25] Chen J, Cai S, Pan S, Wang Y, et al. NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem//AAAI. 2021, 35(14): 12258-12266. (CCF A类会议，通信作者) [24] Zhou Y, Zhao M, Fan M, Wang Y, et al. An efficient local search for large-scale set-union knapsack problem[J]. Data Technologies and Applications, 2021, 55(2), 233-250. （中科院4区，通信作者） [23] Wang Y, Cai S, Chen J, et al. SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem[J]. Artificial Intelligence, 2020: 103230. (CCF A类，中科院1区，第一作者) [22] Wang Y, Cai S, Pan S, et al. Reduction and Local Search for Weighted Graph Coloring Problem//AAAI. 2020: 34(03): 2433-2441. (CCF A类会议，第一作者) [21] Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang*, Christian Blum: NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set// IJCAI 2020: 1503-1510. (CCF A类会议，通信作者) [20] Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin: Two-goal Local Search and Inference Rules for Minimum Dominating Set. IJCAI 2020: 1467-1473. (CCF A类会议，共同作者) [19] Wang Y, Pan S, Li C, et al. A Local Search Algorithm with Reinforcement Learning Based Repair Procedure for Minimum Weight Independent Dominating Set[J]. Information Sciences, 2020, 512, 533-548. (CCF B类，中科院1区，第一作者) [18] Wang Y, Li C, Yin M. A two phase removing algorithm for minimum independent dominating set problem[J]. Applied Soft Computing, 2020, 88: 105949. （中科院1区，第一作者） [17] Wang Y, Li C, Sun H, et al. MLQCC: an improved local search algorithm for the set k‐covering problem[J]. International Transactions in Operational Research, 2019, 26(3): 856-887. (SSCI期刊，中科院3区，第一作者) [16] Yuan F, Li C, Gao X, Wang Y*, Yin M. A Novel Hybrid Algorithm for Minimum Total Dominating Set Problem[J]. Mathematics, 2019, 7(3): 222. （中科院2区，通信作者） [15] Jian Gao, Jiejiang Chen, Minghao Yin, Rong Chen, Yiyuan Wang: An Exact Algorithm for Maximum k-Plexes in Massive Graphs. IJCAI 2018: 1449-1455. (CCF A类会议，共同作者) [14] Wang Y, Cai S, Chen J, et al. A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs//IJCAI. 2018: 1514-1522. (CCF A类会议，第一作者) [13] Wang Y, Cai S, Yin M. Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)// IJCAI. 2017: 5090-5094. (CCF A类会议，第一作者) [12]Wang Y, Chen J, Sun H, et al. A memetic algorithm for minimum independent dominating set problem[J]. Neural Computing and Applications, 2018, 30(8): 2519-2529. (CCF C类，中科院2区，第一作者) [11] Wang Y, Cai S, Yin M. New Heuristic Approaches for Maximum Balanced Biclique Problem[J]. Information Sciences, 2018, 432: 362-375. (CCF B类，中科院1区，第一作者) [10] Wang Y, Ouyang D, Yin M, et al. A restart local search algorithm for solving maximum set k-covering problem[J]. Neural Computing and Applications, 2018, 29(10): 755-765. (CCF C类，中科院2区，第一作者) [9] Wang Y, Li R, Zhou Y, et al. A path cost-based GRASP for minimum independent dominating set problem[J]. Neural Computing and Applications, 2017, 28(1): 143-151. (CCF C类，中科院2区，第一作者) [8] Wang Y, Cai S, Yin M. Local Search for Minimum Weight Dominating Set with Two-level Configuration Checking and Frequency based Scoring Function. Journal of Artificial Intelligence Research, 2017, 58: 267-295. (CCF B类，中科院2区，第一作者) [7] Wang Y, Ouyang D, Zhang L, et al. A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity[J]. Science China Information Sciences, 2017, 60(6): 062103. (CCF A类，中科院2区，第一作者) [6] Wang Y, Yin M, Ouyang D, et al. A novel local search algorithm with configuration checking and scoring mechanism for the set k-covering problem. International Transactions in Operational Research, 2017, 24(6): 1463-1485. (SSCI期刊，中科院3区，第一作者) [5] 王艺源, 欧阳丹彤, 张立明. 结合部件动态变化度求解最小碰集的 GRASP 算法[J]. 吉林大学学报: 工学版, 2017, 47(3): 930-936. （EI期刊，第一作者） [4] Wang Y, Cai S, Yin M. Two Efficient Local Search Algorithms for Maximum Weight Clique Problem//AAAI. 2016: 805-811. （CCF A类会议，第一作者） [3] Wang Y, Ouyang D, Zhang L. Variable quality checking for backbone computation[J]. Electronics Letters, 2016, 52(21): 1769-1771. （中科院4区，第一作者） [2] Wang Y, Ouyang D, Zhang L. Improved Algorithm of Unsatisfiability-based Maximum Satisfiability[C]//IWOST-1. 2015: 93-103. （EI会议，第一作者） [1] 王艺源, 欧阳丹彤, 张立明, 等. 利用 CSP 求解极小碰集的方法[J]. 计算机研究与发展, 2015, 52(3): 588-595. (CCF中文 A类，一级学报，第一作者） ●讲授课程 [1] 离散数学，本科生，2021-2023春季学期 [2] 离散数学II，本科生，2021-2023秋季学期 [3] 运筹学，本科生，2020春季学期 [4] 平面数字图像设计，本科生，2020、2022-2023秋季学期 [5] 计算机理论，本科生，2020春季学期 [6] 可计算性与计算复杂性，硕士研究生，2020-2023秋季学期 [7] 自动推理与智能规划，硕士研究生，2021-2023春季学期 [8] 智能规划与规划识别，博士研究生，2020-2021春季学期