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

Home > Publications > Content

Exploiting Cycle Structures in Max-SAT

  • Max-SAT

Publication Type:

Conference Paper

Authors:

Chu Min Li [1]; Felip ManyĆ  [2]; Nouredine Ould Mohamedou [3]; Jordi Planes [4]

Source:

12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), Springer, Volume 5584, Swansea, UK, p.467-480 (2009)

  • Tagged [5]
  • XML [6]
  • BibTex [7]
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/exploiting-cycle-structures-max-sat

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/3437
[4] http://www.iiia.csic.es/en/individual/jordi-planes
[5] http://www.iiia.csic.es/en/publications/export/tagged/3436
[6] http://www.iiia.csic.es/en/publications/export/xml/3436
[7] http://www.iiia.csic.es/en/publications/export/bib/3436
[8] http://www.iiia.csic.es/en/project/at