JHL-HUST / BandMaxSAT

BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
10Updated last year

Related projects

Alternatives and complementary repositories for BandMaxSAT