A New Encoding from MinSAT into MaxSAT.

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

Browse the full CP paper archive.