Peng Lin 0005

dblp:43/5433-5 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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
CP1
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
CP2
2024 An Efficient Local Search Solver for Mixed Integer Programming
abstract
Integer 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
CP1
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
IJCAI1