Peng Lin
Program
Ph.D. Student
Computer Science
Supervisor: Prof. Shaowei Cai
Research Focus
Mixed Integer Programming
Heuristic Algorithms
Parallel Solving
Combinatorial Optimization
Contact
linpeng@ios.ac.cn
peng.lin.csor@gmail.com
🔥 Recent News
- 🎉🎉 One first-author paper accepted by Artificial Intelligence
- 🎉🎉 One first-author paper accepted by CP
- 🎉🎉 Second Prize in the MIIT Domestic Power Solver Technical Challenge (Lead Developer)
- 🎉🎉 National Scholarship for Graduate Students
- 🎉🎉 Distributed solver refreshed best-known records for 21 open MIPLIB instances (Lead Developer)
- 🎉🎉 First-author paper received CP 2024 Best Paper Award
- 🎉🎉 One first-author paper accepted by CP
- 🎉🎉 One first-author paper accepted by IJCAI
📝 Publications
Journal Papers
Local-MIP: Efficient Local Search for Mixed Integer Programming
Artificial Intelligence, 2025
Conference Papers
An Efficient Local Search Solver for Mixed Integer Programming
International Conference on Principles and Practice of Constraint Programming, 2024
Parallel MIP Solving with Dynamic Task Decomposition
International Conference on Principles and Practice of Constraint Programming, 2025
International Joint Conference on Artificial Intelligence, 2024
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
International Conference on Principles and Practice of Constraint Programming, 2024
🌟 Honors & Awards
🏆 Competition Results
- 2025Pseudo-Boolean Competition 2025
DEC-LIN UNSAT — 1st · DEC-LIN SAT+UNSAT — 3rd · OPT-LIN UNSAT — 3rd
- 2024MIIT Domestic Power Solver Technical Challenge
Second Prize (Ranked 2nd)
🎓 Education
- University of Chinese Academy of Sciences M.D & Ph.D. student (2023.09 – present), supervised by Prof. Shaowei Cai
- Jilin University, School of Software B.S. (2019.09 – 2023.06), advised by Prof. Dantong Ouyang & Prof. Peng Zhang
💬 Invited Talks
2025 · Glasgow, UK
Parallel MIP Solving with Dynamic Task Decomposition
🎞️ Slides
2024 · Girona, Spain
An Efficient Local Search Solver for Mixed Integer Programming
2024 · Girona, Spain
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
🎞️ Slides
2024 · Jeju, South Korea
ParaILP: A Parallel Local Search Framework for Integer Linear Programming
🎞️ Slides
💾 Open-Source Software
🖊️ MIPLIB Best Known Solutions
shiftreg5-1
— solved to optimalneos-5151569-mologa
bmocbd3
gmut-76-40
supportcase23
- more...👇👇
View complete record (32)
shiftreg5-1
— solved to optimalneos-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