BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit.
Jiongzhi ZhengKun HeJianrong ZhouYan JinChu-Min LiFelip ManyàPublished in: IJCAI (2022)
Keyphrases
- multi armed bandit
- combinatorial optimization
- multi armed bandits
- sat solvers
- clause learning
- search algorithm
- reinforcement learning
- search space
- propositional satisfiability
- genetic algorithm
- decentralized decision making
- simulated annealing
- upper bound
- tabu search
- branch and bound algorithm
- sat problem
- boolean formula
- boolean satisfiability
- constraint satisfaction
- metaheuristic
- graphical models
- lower bound
- regret bounds
- optimal solution
- multi agent
- decision trees