A SAT-Based Approach to MinSAT

Carlos Ansótegui; Chu Min Li; Felip Manyà; Zhu Zhu

doi:10.3233/978-1-61499-139-7-185

Communication Dans Un Congrès Année : 2012

A SAT-Based Approach to MinSAT

, (1) , (2) , (3)

1
2
3

Carlos Ansótegui

Fonction : Auteur

Chu Min Li

Fonction : Auteur
PersonId : 850090
ORCID : 0000-0002-6886-8434
IdRef : 092788718

Modélisation, Information et Systèmes - UR UPJV 4290

Felip Manyà

Fonction : Auteur
PersonId : 850091
ORCID : 0000-0002-8366-1458
IdRef : 192587730

Artificial Intelligence Research Institute / Spanish Scientific Research Council

Zhu Zhu

Fonction : Auteur

cgcad, Thss

Résumé

no abstract

Domaines

Intelligence artificielle [cs.AI] Autre [cs.OH]

Gilles Dequen : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00999302

Soumis le : mardi 3 juin 2014-13:52:02

Dernière modification le : mercredi 6 mars 2024-09:16:32

Dates et versions

hal-00999302 , version 1 (03-06-2014)

Identifiants

HAL Id : hal-00999302 , version 1
DOI : 10.3233/978-1-61499-139-7-185

Citer

Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu. A SAT-Based Approach to MinSAT. CCIA-2012, 2012, Trento, Italy, Spain. pp.185-189, ⟨10.3233/978-1-61499-139-7-185⟩. ⟨hal-00999302⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

U-PICARDIE MIS UPJV-MIS-GOC

23 Consultations

0 Téléchargements

A SAT-Based Approach to MinSAT

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager