VLDB 2026 Research / reviewers in the wild / expert
Peng Lin 0005
dblp:43/5433-5
· DBLP profile ↗
6ranked-venue papers
4as first author
6since 2021 · last 2026
0009-0002-4183-5998ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6 · 4 first-author · 6 since 2021Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Parallel Local Search for MaxSAT with Solutions and Score Functions Co-evolving
Mengchuan Zou, Peng Lin 0005, Yi Chu, Shaowei Cai 0001 |
PPSN (1) | 2 |
| 2025 | Parallel MIP Solving with Dynamic Task Decomposition
Peng Lin 0005, Shaowei Cai 0001, Mengchuan Zou, Shengqi Chen 0001 |
CP | 1 |
| 2025 | Local-MIP: Efficient local search for mixed integer programming
Peng Lin 0005, Shaowei Cai 0001, Mengchuan Zou, Jinkun Lin |
Artif. Intell. | 1 |
| 2024 | ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Zhihan Chen 0001, Peng Lin 0005, Hao Hu 0008, Shaowei Cai 0001 |
CP | 2 |
| 2024 | An Efficient Local Search Solver for Mixed Integer ProgrammingabstractInteger linear programming (ILP) models a wide range of practical combinatorial optimization problems and significantly impacts industry and management sectors. This work proposes new characterizations of ILP with the concept of boundary solutions. Motivated by the new characterizations, we develop a new local search algorithm Local-ILP, which is efficient for solving general ILP validated on a large heterogeneous problem dataset. We propose a new local search framework that switches between three modes, namely Search, Improve, and Restore modes. Two new operators are proposed, namely the tight move and the lift move operators, which are associated with appropriate scoring functions. Different modes apply different operators to realize different search strategies and the algorithm switches between three modes according to the current search state. Putting these together, we develop a local search ILP solver called Local-ILP. Experiments conducted on the MIPLIB dataset show the effectiveness of our algorithm in solving large-scale hard ILP problems. In the aspect of finding a good feasible solution quickly, Local-ILP is competitive and complementary to the state-of-the-art commercial solver Gurobi and significantly outperforms the state-of-the-art non-commercial solver SCIP. Moreover, our algorithm establishes new records for 6 MIPLIB open instances. The theoretical analysis of our algorithm is also presented, which shows our algorithm could avoid visiting unnecessary regions. Peng Lin 0005, Mengchuan Zou, Shaowei Cai 0001 |
CP | 1 |
| 2024 | ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism
Peng Lin 0005, Mengchuan Zou, Zhihan Chen 0001, Shaowei Cai 0001 |
IJCAI | 1 |