Pinned Repositories
Hust-Jzzheng.github.io
jzzheng.github.io
VSR-LKH
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
VSR-LKH-V2
Reinforced Lin-Kernighan-Helsgaun Algorithms for the Traveling Salesman Problem and its Variants
BandMaxSAT
BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
BandHS
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
FPS
RGB
Relaxed Graph Color Bound for the Maximum $k$-plex Problem
VDLS
Effective Variable Depth Local Search for the Budgeted Maximum Coverage Problem
SPB-MaxSAT
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers