Approximation Strategies for Incomplete MaxSAT admin, Prateek Kumar, Ruben Martins, Sukrut Rao Last updated on Nov 15, 2021 PDF Cite Code DOI Slides Constraint Programming