个人简历

工作经历 ● 2022.06 - 今 ，东北师范大学，信息科学与技术学院，副教授，博士生导师； ● 2015.08 - 2022.06，东北师范大学，信息科学与技术学院，讲师； ● 2016.04 - 2016.08，美国密苏里大学，访问学者 教育经历 ● 2011.09 - 2015.06，吉林大学，计算机科学与技术专业，博士； ● 2012.10 - 2014.10，美国密苏里大学，联合培养博士； ● 2007.09 - 2010.06，吉林大学，计算机软件与理论专业，硕士； ● 2003.09 - 2007.06，吉林大学，计算机科学与技术专业，学士。 招生信息 ● 每年招收 1-2 名计算机相关专业硕士研究生，希望你通过英语四六级、具备一定的编码能力、最好有机器学习基础。 ● 博士生招生专业：计算机软件与理论 联系方式 ● 电子邮件：lihb905@nenu.edu.cn 教学信息 ● 本科生课程：离散数学 ● 硕士生课程：人工智能原理、信息科学前沿 研究领域 ● 主要研究约束求解，包括搜索算法、约束传播等约束满足问题求解器中使用的核心算法，以及任务调度、路径规划、资源分配、时间表等现实世界的复杂离散组合搜索问题的建模与求解。 ● 研究成果被 Choco、ACE 等国际上比较流行的开源约束求解器采用；本人提出的FRBA算法，将被图灵奖得主 Donald E. Knuth 写入《The Art of Computer Programming，Volume 4C》。 ● 最近主要关注使用机器学习方法设计约束求解算法。 科研项目 ● 基于自动结构识别的无先验知识约束满足问题求解方法研究，国家自然科学基金面上项目，主持，2023.01-2026.12. ● 频繁模式挖掘的约束求解方法研究及在仓库选址问题的应用，吉林省自然科学基金（学科布局项目），主持，2021.07-2024.06. ● 基于在线学习的约束求解方法研究，国家自然科学基金青年基金项目，主持，2019.01-2021.12. ● 求解约束满足问题的相容性技术研究，吉林省教育厅项目，主持，2017.01-2018.12. 学术论文 ● Jitao Xu, Hongbo Li* and Minghao Yin. Finding and Exploring Promising Search Space for the 0-1 Multidimensional Knapsack Problem. Applied Soft Computing (https://www.sciencedirect.com/science/article/abs/pii/S1568494624007087). 2024. (中科院一区，通信作者). ● Luhan Zhen, Zhanshan Li, Yanzhi Li and Hongbo Li*. Eliminating Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint. Proc. of IJCAI'23, 2049-2057, 2023. (CCF-A，通信作者). ● Hongbo Li and Jimmy Lee. Finding Good Partial Assignments During Restart-based Branch and Bound Search. Proc. of AAAI'23, 2023. (CCF-A,该方法被Choco求解器采用). ● Hongbo Li, Yaling Wu, Minghao Yin, Zhanshan Li. A Portfolio-based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems. Proc. of CP'22, 2022.(CCF-B). ● Hongbo Li, Minghao Yin, Zhanshan Li. Failure Based Variable Ordering Heuristics for Solving CSPs. Proc. of CP'21, 2021. (CCF-B，该方法被Choco、Ace等求解器采用). ● Hongbo Li, Jimmy Lee, He Mi, Minghao Yin. Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining. Proc. of AAAI'20, 2020. (CCF-A). ● Hongbo Li, Guozhong Feng, Minghao Yin. On Combining Variable Ordering Heuristics for Constraint Satisfaction Problems. Journal of Heuristics. 26(4): 453-474, 2020. ● Hongbo Li, Yanchun Liang, Ning Zhang, Jinsong Guo, Dong Xu, Zhanshan Li. Improving Degree-based Variable Ordering Heuristics for Solving Constraint Satisfaction Problems. Journal of Heuristics 22(2): 125-145, 2016. ● Hongbo Li, Haijiao Shen, Zhanshan Li, Jinsong Guo. Reducing Consistency Checks in Generating Corrective Explanations for Interactive Constraint Satisfaction. Knowledge-Based Systems. 43: 103-111, 2013. (SCI, CCF-C). ● Hongbo Li, Yanchun Liang, Jinsong Guo, Zhanshan Li. Making Simple Tabular Reduction Works on Negative Table Constraints. Proc. of AAAI'13, 2013. (CCF-A).