Search Results for author: Jianrong Zhou

Found 6 papers, 4 papers with code

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.

Stochastic Item Descent Method for Large Scale Equal Circle Packing Problem

no code implementations22 Jan 2020 Kun He, Min Zhang, Jianrong Zhou, Yan Jin, Chu-min Li

Inspired by its success in deep learning, we apply the idea of SGD with batch selection of samples to a classic optimization problem in decision version.

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