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

Home > Publications > Content

A SAT-Based Approach to MinSAT

Publication Type:

Conference Paper

Authors:

Carlos Ansótegui [1]; Felip Manyà [2]

Source:

CCIA 2012, p.185-189 (2012)

  • Tagged [3]
  • XML [4]
  • BibTex [5]
Projects: 
TASSAT [6]
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/sat-based-approach-minsat

Links:
[1] http://www.iiia.csic.es/en/individual/carlos-ansotegui
[2] http://www.iiia.csic.es/en/individual/felip-manya
[3] http://www.iiia.csic.es/en/publications/export/tagged/4845
[4] http://www.iiia.csic.es/en/publications/export/xml/4845
[5] http://www.iiia.csic.es/en/publications/export/bib/4845
[6] http://www.iiia.csic.es/en/project/tassat