References & Citations
Computer Science > Artificial Intelligence
Title: BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
(Submitted on 14 Jan 2022 (v1), last revised 16 Jun 2022 (this version, v2))
Abstract: 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. The bandit in our method is associated with all the soft clauses in the input (W)PMS instance. Each arm corresponds to a soft clause. The bandit model can help BandMaxSAT to select a good direction to escape from local optima by selecting a soft clause to be satisfied in the current step, that is, selecting an arm to be pulled. We further propose an initialization method for (W)PMS that prioritizes both unit and binary clauses when producing the initial solutions. Extensive experiments demonstrate that BandMaxSAT significantly outperforms the state-of-the-art (W)PMS local search algorithm SATLike3.0. Specifically, the number of instances in which BandMaxSAT obtains better results is about twice that obtained by SATLike3.0. Moreover, we combine BandMaxSAT with the complete solver TT-Open-WBO-Inc. The resulting solver BandMaxSAT-c also outperforms some of the best state-of-the-art complete (W)PMS solvers, including SATLike-c, Loandra and TT-Open-WBO-Inc.
Submission history
From: Jiongzhi Zheng [view email][v1] Fri, 14 Jan 2022 16:32:39 GMT (40kb)
[v2] Thu, 16 Jun 2022 06:28:00 GMT (42kb)
Link back to: arXiv, form interface, contact.