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

Home > Publications > Content

Exact MinSAT Solving

  • Max-SAT
  • Min-SAT

Publication Type:

Conference Paper

Authors:

Chu Min Li [1]; Felip ManyĆ  [2]; Zhe Quan [3]; Zhu Zhu [4]

Source:

International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Volume 6175, Edinburgh, UK, p.363-368 (2010)

ISBN:

978-3-642-14185-0

Keywords:

Min-SAT [5]; Max-SAT [6]

  • Tagged [7]
  • XML [8]
  • BibTex [9]
Projects: 
AT [10]
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/exact-minsat-solving

Links:
[1] http://www.iiia.csic.es/en/individual/chu-min-li
[2] http://www.iiia.csic.es/en/individual/felip-manya
[3] http://www.iiia.csic.es/en/node/3970
[4] http://www.iiia.csic.es/en/node/3971
[5] http://www.iiia.csic.es/en/publications/keyword/Min-SAT
[6] http://www.iiia.csic.es/en/publications/keyword/Max-SAT
[7] http://www.iiia.csic.es/en/publications/export/tagged/3969
[8] http://www.iiia.csic.es/en/publications/export/xml/3969
[9] http://www.iiia.csic.es/en/publications/export/bib/3969
[10] http://www.iiia.csic.es/en/project/at