刘燕丽

发布时间:2013-11-19 发布者:系统管理员 浏览次数:

姓名

刘燕丽

职称及荣誉

副教授

性别

联系电话


电子邮件

yanlil2008@wust.edu.cn

通信地址或办公室

武汉科技大学黄家湖校区理学院

研究方向

组合优化,机器学习,强化学习

工作经历(包括社会兼职)

2005~至今 武汉科技大学. 硕士生导师,全国理论计算机科学专委会委员,CCF专业委员. 国际人工智能顶会AAAIIJCAI程序委员, EJORCOR等多个国际学术期刊的审稿人.

➤主要论文

1.Yanali Liu, Jiming Zhao, Chumin Li,   Hua Jiang, Kun He. Hybrid learning with new value function for the maximum common   induced subgraph problem. AAAI23,4044-4051.

2. Yanli Liu, Chu-Min Li, Hua Jiang, Kun   He. A learning based branch and bound for maximum common subgraph related problems.   AAAI20,2392-2399.

3.Jianrong   Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu. A Strengthened Branch and Bound   Algorithm for the Maximum Common (Connected) Subgraph Problem. IJCAI 2022: 1908-1914.

4. Chu-Min Li, Yanli Liu, Hua Jiang, Felip Manyá, Yu Li. A new upper bound for   the maximum weight clique problem. European Journal of Operational Research, 2018, 270: 66-77

5.Hua Jiang, Chu-Min Li, Yanli   Liu, Felip Manyà.   A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique   Problem. AAAI2018: 1338-1346.

➤主要科研项目

1. 计算机软件新技术国家重点实验室(南京大学),利用顶点影响力优化MCS问题中大图的顶点匹配,KFKT2018B10. 主持

2. 国家自然科学青年基金,基于格子Boltzmann方法的多孔介质内气固反应与热质耦合传输过程的微观机理研究,51306133.   参与

3. 湖北省教育厅科学研究计划项目,松弛与新规则对提高MaxSAT预估下界的研究,B2016015. 主持

➤主讲课程

1. 数据挖掘

2. C++程序设计

3. 计算机组成原理

➤主要著作


➤主要获奖情况

1.何琨, [黄文奇], 金燕, 刘燕丽.《求解NP难度问题的现代方法》. 湖北省自然科学三等奖, 2018.

2. <<优化冲突集以提高MaxSAT的下界>>2013年中国计算机大会评为优秀海报论文.

3.8Maxsat Evaluation国际竞赛中,设计maxsatz2013f算法在Randomcrafted组中排名第一.


上一条:李立清 下一条:马建清

关闭