![](/img/cover-not-exists.png)
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
Joshi, Saurabh, Kumar, Prateek, Rao, Sukrut, Martins, Ruben, Seidl, Martina, Pulina, LucaVolume:
11
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190118
Date:
September, 2019
File:
PDF, 806 KB
2019