BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Primary LanguageCApache License 2.0Apache-2.0