@conference {3967, title = {New Insights into Encodings from MaxCSP into Partial MaxSAT}, booktitle = {40th IEEE International Symposium on Multiple-Valued Logic (ISMVL)}, year = {2010}, pages = {46-52}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Barcelona}, keywords = {encodings, Max-CSP, Max-SAT}, isbn = {978-0-7695-4024-5}, author = {J. Argerlich and Alba Cabiscol and Ines Lynce and Felip Many{\`a}} }