王艺源
基本情况
王艺源，男，副教授，博士生导师，2017年于吉林大学计算机科学与技术学院获得工学博士学位。主要从事人工智能、算法设计及其应用、优化求解等方向研究。2020年获得吉林省青年人才托举计划。主持并参与多项国家自然基金，已发表学术论文30余篇，其中12篇计算机学会推荐A类论文。
现实世界中，优化问题无处不在，欢迎有志于研究海量数据下如何智能求解离散/连续优化问题的本科生和研究生加入我们的团队！
教育经历
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] 201901-至今，程序委员会委员（PC Member），IJCAI 2020-2022, AAAI 2020-2022； Senior PC， IJCAI2021
[2] 201907-至今，中国计算机学会(CCF)人工智能与模式识别专委会通讯委员
[3] 202007-至今，中国计算机学会长春分部委员
[4] 202010-至今，中国人工智能学会智能服务专委会委员
主持项目
[1] 国家自然科学基金青年项目，“支配集问题的局部搜索算法研究”（61806050），2019/01-2021/12，25万
[2] 吉林省教育厅，“局部搜索算法在集合覆盖问题的研究”（JJKH20190289KJ），2019/01-2020/12，2.5万
[3] 吉林省科学技术协会, “第四批吉林省青年科技人才托举工程”（QT202005）,2020/09-2023/12，10万
[4] 吉林省科技厅自然科学基金自由探索一般项目，“大规模集合覆盖问题下关键求解技术研究”，2022/01-2024/12，10万
发表论文
[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区，通信作者)[PDF][CODE][INSTANCES]
[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, accept. (CCF A类会议，通讯作者)
[31] Pan S, Wang Y, Yin M. A Fast Local Search Algorithm for the Latin Square Completion Problem. AAAI, 2022, accept. (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: 218-224. (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 B类，中科院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-2022春季学期
[2] 离散数学II，本科生，2021秋季学期
[3] 运筹学，本科生，2020春季学期
[4] 平面数字图像设计，本科生，2020秋季学期
[5] 计算机理论，本科生，2020春季学期
[6] 可计算性与计算复杂性，硕士研究生，2020-2021秋季学期
[7] 自动推理与智能规划，硕士研究生，2021春季学期
[8] 智能规划与规划识别，博士研究生，2020-2021春季学期
