activity
20202024
most citedBandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

3 citations · 9 across the 11 of their papers we have counts for

collaborators

11 papers

cs.CG2024

Solution-Hashing Search Based on Layout-Graph Transformation for Unequal Circle Packing

Jianrong Zhou, Jiyao He, Kun He

The problem of packing unequal circles into a circular container stands as a classic and challenging optimization problem in computational geometry. This study introduces a suite o…

cs.CG2023

An Efficient Solution Space Exploring and Descent Method for Packing Equal Spheres in a Sphere

Jianrong Zhou, Shuo Ren, Kun He +2

The problem of packing equal spheres in a spherical container is a classic global optimization problem, which has attracted enormous studies in academia and found various applicati…

cs.CG2023★ 1 cited

Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale

Jianrong Zhou, Kun He, Jiongzhi Zheng +1

The problem of packing equal circles in a circle is a classic and famous packing problem, which is well-studied in academia and has a variety of applications in industry. This prob…

cs.AI2022

Incorporating Multi-armed Bandit with Local Search for MaxSAT

Jiongzhi Zheng, Kun He, Jianrong Zhou +3

Partial MaxSAT (PMS) and Weighted PMS (WPMS) are two practical generalizations of the MaxSAT problem. In this paper, we propose a local search algorithm for these problems, called…

cs.AI2022★ 1 cited

Reinforced Lin-Kernighan-Helsgaun Algorithms for the Traveling Salesman Problems

Jiongzhi Zheng, Kun He, Jianrong Zhou +2

TSP is a classical NP-hard combinatorial optimization problem with many practical variants. LKH is one of the state-of-the-art local search algorithms for the TSP. LKH-3 is a power…

cs.DS2022

Effective Variable Depth Local Search for the Budgeted Maximum Coverage Problem

Jianrong Zhou, Jiongzhi Zheng, Kun He

We address the Budgeted Maximum Coverage Problem (BMCP), which is a natural and more practical extension of the standard 0-1 knapsack problem and the set cover problem. Given m ele…