TítolA New Encoding from MinSAT into MaxSAT
Publication TypeConference Paper
Year of Publication2012
AuthorsZhu Z, Li CMin, Manyà F, Argerlich J.
Conference NameCP 2012
Paginació455-463