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

Home > Publications > Content
Optimizing with minimum satisfiability

Publication Type:

Journal Article

Authors:

[1]; Chu Min Li [2]; Zhu Zhu [3]; Felip Manyà [4]; Laurent Simon [5]

Source:

Artificial intelligence, Volume 190, p.32-44 (2012)

Projects: 
TASSAT [9]
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/optimizing-minimum-satisfiability

Links:
[1] http://www.iiia.csic.es/en/node/4838
[2] http://www.iiia.csic.es/en/individual/chu-min-li
[3] http://www.iiia.csic.es/en/node/3971
[4] http://www.iiia.csic.es/en/individual/felip-manya
[5] http://www.iiia.csic.es/en/node/4402
[6] http://www.iiia.csic.es/en/publications/export/tagged/4837
[7] http://www.iiia.csic.es/en/publications/export/xml/4837
[8] http://www.iiia.csic.es/en/publications/export/bib/4837
[9] http://www.iiia.csic.es/en/project/tassat