Picture for Felip Manya

Felip Manya

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

Add code
Jan 14, 2022
Figure 1 for BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Figure 2 for BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Figure 3 for BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Figure 4 for BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Viaarxiv icon