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

14 January 2022

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

3 / 3 papers shown

Title
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis Furong Ye Chuan Luo Shaowei Cai 24 1 0 11 Mar 2024
Incorporating Multi-armed Bandit with Local Search for MaxSAT Jiongzhi Zheng Kun He Jianrong Zhou Yan Jin Chumin Li F. Manyà 16 1 0 29 Nov 2022
Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers Jiongzhi Zheng Kun He Jianrong Zhou 13 3 0 23 Aug 2021