TítuloNew Insights into Encodings from MaxCSP into Partial MaxSAT
Publication TypeConference Paper
Year of Publication2010
AuthorsArgerlich J., Cabiscol A, Lynce I, Manyà F
Conference Name40th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
EditorialIEEE Computer Society
Conference LocationBarcelona
Paginación46-52
ISBN Number978-0-7695-4024-5
Palabras claveencodings, Max-CSP, Max-SAT