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 co-first author paper accepted by AAAI
- 🎉🎉 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
† Co-First Author
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
Elite Pattern Reinforcement for Vehicle Routing Problems
AAAI Conference on Artificial Intelligence, 2026
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-mologabmocbd3gmut-76-40supportcase23- more...👇👇
View complete record (32)
shiftreg5-1— solved to optimalneos-5151569-mologabmocbd3gmut-76-40supportcase23cmflsp40-36-2-10dfn-bwin-dbeeva1aprime6x6optgsvm2rl11gsvm2rl9dlr1neos-4232544-oriradws012-02neos-5045105-creuseneos-4230265-orarineos-4292145-piakopolygonpack4-7polygonpack5-15sct5adult-regularizeds82genus-sym-g31-8genus-sym-g62-2genus-g61-25neos-4232544-orirabley_xs1sorrell7supportcase22cdc7-4-3-2ns1828997scpm1scpn2
