Skip to content

MinSAT versus MaxSAT for Optimization Problems.

Josep Argelich, Chu Min Li, Felip Many, Zhu Zhu

VenueACP
Year2013
ProceedingsCP

Browse the full CP paper archive.