TitleA New Encoding from MinSAT into MaxSAT
Publication TypeConference Paper
Year of Publication2012
AuthorsZhu Z, Li CMin, Manyà F, Argerlich J.
Conference NameCP 2012
Pagination455-463