Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

admin, Prateek Kumar, Sukrut Rao, Ruben Martins
Last updated on Nov 15, 2021
PDF Code DOI
Constraint Programming