research
∙
11/29/2022
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Partial MaxSAT (PMS) and Weighted PMS (WPMS) are two practical generaliz...
share
research
∙
01/14/2022
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
We address Partial MaxSAT (PMS) and Weighted PMS (WPMS), two practical g...
research
∙
05/26/2021
Incomplete MaxSAT Approaches for Combinatorial Testing
We present a Satisfiability (SAT)-based approach for building Mixed Cove...
research
∙
07/29/2018
