Search Results for author: Felip Manya

Found 1 papers, 0 papers with code

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.

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