BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit.
Jiongzhi ZhengKun HeJianrong ZhouYan JinChu Min LiFelip 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