Skip to content

Approximation Strategies for Incomplete MaxSAT.

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao

VenueACP
Year2018
ProceedingsCP

Browse the full CP paper archive.