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

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
sat solvers
clause learning
reinforcement learning

tabu search
search space
upper bound
branch and bound algorithm
search algorithm
metaheuristic

simulated annealing
decentralized decision making
genetic algorithm
boolean formula
least squares

multi class
search strategies
sat problem
propositional satisfiability
boolean satisfiability