TítuloSequential Encodings from Max-CSP into Partial Max-SAT
Publication TypeConference Paper
Year of Publication2009
AuthorsArgerlich J., Cabiscol A, Lynce I, Manyà F
Conference Name12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009)
VolumeLNCS 5584
Conference LocationSwansea, UK
Paginación161-166