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

Home > Publications > Content
Analyzing the Instances of the MaxSAT Evaluation

Publication Type:

Conference Paper

Authors:

J. Argerlich [1]; Chu Min Li [2]; Felip Manyà [3]; Jordi Planes [4]

Source:

14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, Springer, Volume 6695, Ann Arbor, MI, USA, p.360-361 (2011)

ISBN:

978-3-642-21580-3

Projects: 
AT [8]
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/analyzing-instances-maxsat-evaluation

Links:
[1] http://www.iiia.csic.es/en/individual/j-argerlich
[2] http://www.iiia.csic.es/en/individual/chu-min-li
[3] http://www.iiia.csic.es/en/individual/felip-manya
[4] http://www.iiia.csic.es/en/individual/jordi-planes
[5] http://www.iiia.csic.es/en/publications/export/tagged/4400
[6] http://www.iiia.csic.es/en/publications/export/xml/4400
[7] http://www.iiia.csic.es/en/publications/export/bib/4400
[8] http://www.iiia.csic.es/en/project/at