Published on IIIA (http://www.iiia.csic.es)

Home > Publications > Content
New Insights into Encodings from MaxCSP into Partial MaxSAT

Publication Type:

Conference Paper

Authors:

J. Argerlich [1]; Alba Cabiscol [2]; Ines Lynce [3]; Felip Manyà [4]

Source:

40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), IEEE Computer Society, Barcelona, p.46-52 (2010)

ISBN:

978-0-7695-4024-5

Keywords:

Max-SAT [5]; Max-CSP [6]; encodings [7]

Projects: 
AT [11]
IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/publications/new-insights-encodings-maxcsp-partial-maxsat

Links:
[1] http://www.iiia.csic.es/en/individual/j-argerlich
[2] http://www.iiia.csic.es/en/individual/alba-cabiscol
[3] http://www.iiia.csic.es/en/node/3439
[4] http://www.iiia.csic.es/en/individual/felip-manya
[5] http://www.iiia.csic.es/en/publications/keyword/Max-SAT
[6] http://www.iiia.csic.es/en/publications/keyword/Max-CSP
[7] http://www.iiia.csic.es/en/publications/keyword/encodings
[8] http://www.iiia.csic.es/en/publications/export/tagged/3967
[9] http://www.iiia.csic.es/en/publications/export/xml/3967
[10] http://www.iiia.csic.es/en/publications/export/bib/3967
[11] http://www.iiia.csic.es/en/project/at