付慧敏，现任西南财经大学计算机与人工智能学院副教授。2021年毕业于西南交通大学（硕博连读），Ulster University联合培养博士。主要研究方向包括图神经网络、智能优化、约束求解、自动推理等。在国际顶级期刊发表SCI论文10余篇。主持国家自然科学基金项目、四川省科技厅项目，作为核心人员参与国家自然科学基金面上项目多项。

欢迎对图神经网络、强化学习等深度学习方法，以及智能优化方法与组合优化问题感兴趣的同学报考研究生，也欢迎本科生加入课题组参与科研。我会尽快回复邮件并安排面谈。期待你们的加入！

2018.11-2019.08 Ulster University 国家公派联合培养博士

2017.09-2021.07 西南交通大学 博士

2015.09-2017.07 西南交通大学 硕士（硕博连读）

2011.09-2015.07 河南大学 学士

2021.09年2025.12 西南财经大学计算机与人工智能学院 讲师

2026.01年至今 西南财经大学计算机与人工智能学院 副教授

2021年 第24届国际SAT竞赛Crypto组第二名和Parallel Track UNSAT组第三名（团队奖）

2017年 西南交通大学杨华新秀奖学金（学院共2名）

代表性SCI期刊论文：

[1] 学生一作, “Negative label-Aware and correlation-Enhanced multi-Label feature selection”，Knowledge-Based systems, 331(2025): 114797.（JCR: Q1, IF=8.038）

[2] 第一作者，“Improving Two-mode Algorithm Via Probabilistic Selection for Solving Satisfiability Problem”, Information Sciences, 2024(653): 119751. （JCR: Q1, IF= 6.8）

[3] 第一作者, “Improving probability selecting based weights for Satisfiability Problem”, Knowledge-Based systems, 245 (2022): 108572.（JCR: Q1, IF=8.038）

[4] 第一作者，“Emphasis on the Flipping Variable: Towards Effective Local Search for Hard Random Satisfiability”, Information Sciences , 2021, 566 (2021) : 118-139. （JCR: Q1, IF= 6.8）

[5] 第一作者，“More efficient stochastic local search for satisfiability”, Applied Intelligence, 2021, 51(6): 3996-4015. （JCR: Q1, IF=5.086）

[6] 第一作者，“Improving Stochastic Local Search for Uniform k-SAT by Generating Appropriate Initial Assignment”, Computational Intelligence. 2021, 37:1706–1744.（JCR: Q3, IF= 2.33）

[7] 第一作者，“Focused random walk with probability distribution for SAT with long clauses”, Applied Intelligence, 2020, 50(12): 4732-4753. （JCR: Q1, IF= 5.086）

[8] 第一作者，“An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy”, International Journal of Computational Intelligence Systems, 2018, 11(1): 402-413. （JCR: Q2, IF= 2.181）

主要科研项目

[1] 国家自然科学基金青年项目，SAT 相关问题的求解算法研究，项目编号：62206227，2023.01-2025.12，主持。

[2] 四川省自然科学基金青年基金项目，面向布尔可满足性问题的图神经网络建模与智能求解方法研究，项目编号：2026NSFSC1476，2026.01-2027.12，主持。

[3] 中央高校基本科研业务费，约束求解方法在多问题域投票上的研究，项目编号：2022.07-2022.12，主持。

[4] 国家自然科学基金青年项目，基于多粒度认知的联邦持续学习关键技术研究，项目编号：62476228，2025.01-2028.12，主研。

[5] 四川省科技计划项目，基于逻辑自动推理与机器学习的软件可信性验证研究，项目编号：2020YJ0270，2020.1-2021.12，已结题，主研。

[6] 国家自然科学基金项目，基于矛盾体分离的动态自动演绎推理研究，项目编号：61673320，2017.1-2020.1，已结题，主研。

[7] 中央军委科技委国防科技创新特区H863项目， 涉密，基于XXX研究，2019.1-2020.9，已结题，参研。

[8] 校级科创竞赛项目，2019国际SAT问题竞赛，项目编号：2019KCJS54，2019.3-2019.9，已结题，主研。