林鹏
🔥 最新动态
- 🎉🎉 第一作者论文被《Artificial Intelligence》接收
- 🎉🎉 第一作者论文被 CP 国际会议接收
- 🎉🎉 工信部电力国产求解器技术专题赛二等奖(第一开发者)
- 🎉🎉 获得研究生国家奖学金
- 🎉🎉 分布式求解器刷新 MIPLIB 21 个公开实例最优纪录(第一开发者)
- 🎉🎉 第一作者论文荣获 CP 2024 最佳论文奖
- 🎉🎉 第一作者论文被 CP 国际会议接收
- 🎉🎉 第一作者论文被 IJCAI 国际会议接收
📝 论文成果
期刊论文
会议论文
CP 2024 · 最佳论文
An Efficient Local Search Solver for Mixed Integer Programming
约束规划原理与实践国际会议,2024,CCF-B
IJCAI 2024
国际人工智能联合会议,2024,CCF-A
CP 2024
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
约束规划原理与实践国际会议,2024,CCF-B
🌟 荣誉奖励
- 2024 研究生国家奖学金
- 2024 CP 2024 最佳论文奖
- 2023 吉林大学优秀毕业论文(软件学院第一名)
🏆 竞赛成绩
- 20252025 Pseudo-Boolean 国际竞赛
DEC-LIN UNSAT 冠军 · DEC-LIN SAT+UNSAT 季军 · OPT-LIN UNSAT 季军
- 2024工信部电力国产求解器技术专题赛
二等奖(排名第二)
🎓 教育经历
💬 学术报告
2025 · 英国格拉斯哥
Parallel MIP Solving with Dynamic Task Decomposition
🎞️ 幻灯片
2024 · 西班牙赫罗纳
An Efficient Local Search Solver for Mixed Integer Programming
2024 · 西班牙赫罗纳
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
🎞️ 幻灯片
2024 · 韩国济州
ParaILP: A Parallel Local Search Framework for Integer Linear Programming
🎞️ 幻灯片
💾 开源项目
🖊️ MIPLIB 刷新记录
shiftreg5-1
— 求解至最优neos-5151569-mologa
bmocbd3
gmut-76-40
supportcase23
- 更多...👇👇
查看完整刷新记录(32)
shiftreg5-1
— 求解至最优neos-5151569-mologa
bmocbd3
gmut-76-40
supportcase23
cmflsp40-36-2-10
dfn-bwin-dbe
eva1aprime6x6opt
gsvm2rl11
gsvm2rl9
dlr1
neos-4232544-orira
dws012-02
neos-5045105-creuse
neos-4230265-orari
neos-4292145-piako
polygonpack4-7
polygonpack5-15
sct5
adult-regularized
s82
genus-sym-g31-8
genus-sym-g62-2
genus-g61-25
neos-4232544-orira
bley_xs1
sorrell7
supportcase22
cdc7-4-3-2
ns1828997
scpm1
scpn2