Peng Lin

Peng Lin

CS & OR

Peng Lin

Program

Ph.D. Student
Computer Science
Supervisor: Prof. Shaowei Cai

Research Focus

Mixed Integer Programming
Heuristic Algorithms
Parallel Solving
Combinatorial Optimization

Affiliation

Chinese Academy of Sciences
Institute of Software
Constraint Solving Laboratory

Contact

linpeng@ios.ac.cn
peng.lin.csor@gmail.com

πŸ† CP 2024 Best Paper
V2.1

Local-MIP

Local Search Solver for Mixed Integer Programming

β†’

πŸ”₯ Recent News

  • πŸŽ‰πŸŽ‰ Selected for CAST Young Talent Support Program (Doctoral)
  • πŸŽ‰πŸŽ‰ 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

AIJ 2025

Local-MIP: Efficient Local Search for Mixed Integer Programming

Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin

Artificial Intelligence, 2025

Conference Papers

CP 2024 Best Paper

An Efficient Local Search Solver for Mixed Integer Programming

Peng Lin, Mengchuan Zou, Shaowei Cai

International Conference on Principles and Practice of Constraint Programming, 2024

CP 2025

Parallel MIP Solving with Dynamic Task Decomposition

Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen

International Conference on Principles and Practice of Constraint Programming, 2025

IJCAI 2024

ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism

Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai

International Joint Conference on Artificial Intelligence, 2024

AAAI 2026

Elite Pattern Reinforcement for Vehicle Routing Problems

Ning Li†, Peng Lin†, Peng Zhang, Ruichen Tian

AAAI Conference on Artificial Intelligence, 2026

CP 2024

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization

Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai

International Conference on Principles and Practice of Constraint Programming, 2024

πŸ† Competition Results

πŸŽ“ Education

πŸ’¬ 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

🎞️ Slides Β· πŸ“½οΈ Video

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

Local-MIP

An efficient local search solver for mixed integer programming; the related work received the CP 2024 Best Paper Award.

πŸ”— Website

πŸ”— GitHub

ParaILP

A parallel integer programming framework combining local search with cooperative evolution, published at IJCAI 2024.

πŸ”— GitHub

πŸ–ŠοΈ MIPLIB Best Known Solutions

As first author, I developed the following solvers that have established new best-known solutions on MIPLIB benchmark instances:

InstanceSolverPreviousNew Record
supportcase22Local-MIPN/A117
neos-4232544-oriraLocal-MIP1718202715108528
genus-sym-g31-8Local-MIP-21-23
genus-sym-g62-2Local-MIP-34-38
genus-g61-25Local-MIP-34-40
sorrell7Local-MIP-196-197
cdc7-4-3-2Local-MIP-289-294
ns1828997Local-MIP98
scpm1Local-MIP554544
scpn2Local-MIP501490
neos-4232544-oriraLocal-MIP1754050617182027
shiftreg5-1PartiMIP522.1155520.2562
neos-5151569-mologaPartiMIP686759699686750731
bmocbd3PartiMIP-372986720-373286017
gmut-76-40PartiMIP-14169442-14169461
supportcase23PartiMIP-12160.66-12160.66
cmflsp40-36-2-10PartiMIP6645223566452234
dfn-bwin-DBEPartiMIP73623.7973623.79
eva1aprime6x6optPartiMIP-16.3153-18.1010
gsvm2rl11PartiMIP18121.6418121.64
gsvm2rl9PartiMIPN/A7438.181
dlr1PartiMIP27081492708064
dws012-02PartiMIP122074.2121112.1
neos-4232544-oriraPartiMIP55573715553207
neos-5045105-creusePartiMIP20.5714320.57141
neos-4230265-orariPartiMIP81765.2173755.00
neos-4292145-piakoPartiMIP29160.528122.5
polygonpack4-7PartiMIP-51837708-51837713
polygonpack5-15PartiMIP-55494654-55494687
sct5PartiMIP-228.1172-228.1195
adult-regularizedPartiMIP7022.9547022.954
s82PartiMIP-33.78524-33.79706
sct5BigMIP-228.1195-228.1292
dws012-02BigMIP121112.1119893.3
bley_xs1ParaILP39221133874311

Local search MIP solver

InstancePreviousNew Record
neos-4232544-orira1754050617182027
neos-4232544-orira1718202715108528
genus-sym-g31-8-21-23
genus-sym-g62-2-34-38
genus-g61-25-34-40
sorrell7-196-197
supportcase22N/A117
cdc7-4-3-2-289-294
ns182899798
scpm1554544
scpn2501490

Parallel MIP solver with dynamic task decomposition

InstancePreviousNew Record
shiftreg5-1522.1155520.2562
neos-5151569-mologa686759699686750731
bmocbd3-372986720-373286017
gmut-76-40-14169442-14169461
supportcase23-12160.66-12160.66
cmflsp40-36-2-106645223566452234
dfn-bwin-DBE73623.7973623.79
eva1aprime6x6opt-16.3153-18.1010
gsvm2rl1118121.6418121.64
gsvm2rl9N/A7438.181
dlr127081492708064
dws012-02122074.2121112.1
neos-4232544-orira55573715553207
neos-5045105-creuse20.5714320.57141
neos-4230265-orari81765.2173755.00
neos-4292145-piako29160.528122.5
polygonpack4-7-51837708-51837713
polygonpack5-15-55494654-55494687
sct5-228.1172-228.1195
adult-regularized7022.9547022.954
s82-33.78524-33.79706

Large-scale distributed MIP solver

InstancePreviousNew Record
sct5-228.1195-228.1292
dws012-02121112.1119893.3

Parallel local search ILP sovler with cooperative evolution

InstancePreviousNew Record
bley_xs139221133874311