檢視付慧敏的原始碼

{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center>'''  付慧敏 '''<br><img src=" https://it.swufe.edu.cn/__local/0/22/13/B286A27714960A17363417EB5A9_1DD7CE10_10C16.jpg?e=.jpg " width="180"></center><small>[https://it.swufe.edu.cn/info/1122/14438.htm  西南财经大学]

</small> 
|}

'''付慧敏'''，女，西南财经大学讲师。

==人物简历==
=== 教育背景 ===

2018/11-2019/08 贝尔法斯特大学 国家公派联合培养博士

2017/09-2021/07 西南交通大学 博士

2015/09-2017/07 西南交通大学 硕士（硕博连读）

2011/09-2015/07 河南大学 学士

=== 职业经历 ===

2021/09年至今 西南财经大学经济信息工程学院 讲师
==研究领域==

[[组合优化]]

[[约束求解]]

[[自动推理]]
==荣誉奖励==

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

2017至2020年 博士生一等学业奖学金

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

本科 人工智能通识教程 概率论
==研究成果==

付慧敏在国际期刊、国内核心期刊及会议发表论文10余篇学术论文，其中以第一作者发表和录用SCI期刊论文7篇、 国内核心期刊1篇, 会议论文3篇。部分代表论文目录如下。

[1] 第一作者, “Improving probability selecting based weights for Satisfiability Problem”, Knowledge-Based systems, 2022被录用（JCR: Q1, IF: 8.038）

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

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

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

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

[6] 第一作者，“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] 四川省科技计划项目，2020YJ0270，基于逻辑自动推理与机器学习的软件可信性验证研究，2020.1至2021.12，已结题，参研.

[2] 国家自然科学基金项目，61673320，基于矛盾体分离的动态自动演绎推理研究, 2017-1至2020-1，已结题，主研.

[3] 中央军委科技委国防科技创新特区H863项目, 涉密,基于XXX研究, 2019-1至2020-9, 已结题，参研.

[4] 校级科创竞赛项目，2019KCJS54，2019国际SAT问题竞赛， 2019-3至2019.9，已结题，主研.<ref>[https://www.swufe.edu.cn/index.htm 西南财经大学]</ref>
==参考资料== 
{{reflist}}

[[Category:教师]]