TítolNew 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)
EditorIEEE Computer Society
Conference LocationBarcelona
Paginació46-52
ISBN Number978-0-7695-4024-5
Paraules clauencodings, Max-CSP, Max-SAT