Incorporating Multi-armed Bandit with Local Search for MaxSAT.

Jiongzhi Zheng Kun He Jianrong Zhou Yan Jin Chu-Min Li Felip Manyà

Published in: CoRR (2022)

Keyphrases

multi armed bandit
combinatorial optimization
multi armed bandits
search algorithm
search space
reinforcement learning
optimal solution
upper bound
tabu search
genetic algorithm
metaheuristic
sat solvers
pairwise