Search Results for author: Jiongzhi Zheng

Found 9 papers, 4 papers with code

An Effective Branch-and-Bound Algorithm with New Bounding Methods for the Maximum $s$-Bundle Problem

no code implementations6 Feb 2024 Jinghui Xue, Jiongzhi Zheng, Mingming Jin, Kun He

Exact algorithms for MBP mainly follow the branch-and-bound (BnB) framework, whose performance heavily depends on the quality of the upper bound on the cardinality of a maximum s-bundle and the initial lower bound with graph reduction.

graph partitioning

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

no code implementations19 Jan 2024 Jiongzhi Zheng, Zhuo Chen, Chu-min Li, Kun He

In this paper, we propose to transfer the SPB constraint into the clause weighting system of the local search method, leading the algorithm to better solutions.

Incorporating Multi-armed Bandit with Local Search for MaxSAT

1 code implementation29 Nov 2022 Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-min Li, Felip Manyà

In this paper, we propose a local search algorithm for these problems, called BandHS, which applies two multi-armed bandits to guide the search directions when escaping local optima.

Multi-Armed Bandits

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

no code implementations14 Jan 2022 Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-min Li, Felip Manya

We address Partial MaxSAT (PMS) and Weighted PMS (WPMS), two practical generalizations of the MaxSAT problem, and propose a local search algorithm for these problems, called BandMaxSAT, that applies a multi-armed bandit model to guide the search direction.

Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers

1 code implementation23 Aug 2021 Jiongzhi Zheng, Kun He, Jianrong Zhou

In this work, we observe that most local search (W)PMS solvers usually flip a single variable per iteration.

Reinforced Hybrid Genetic Algorithm for the Traveling Salesman Problem

no code implementations9 Jul 2021 Jiongzhi Zheng, Jialun Zhong, Menglei Chen, Kun He

In the hybrid algorithm, LKH can help EAX-GA improve the population by its effective local search, and EAX-GA can help LKH escape from local optima by providing high-quality and diverse initial solutions.

Q-Learning reinforcement-learning +2

Cannot find the paper you are looking for? You can Submit a new open access paper.