Many-Valued MinSAT Solving

Communication Dans Un Congrès Année : 2014

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

1
2
3
4

Josep Argelich

DIEI

Chu Min Li

Felip Manya

Zhu Zhu

cgcad, Thss

no abstract

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

https://hal.science/hal-00999304

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

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

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

Josep Argelich, Chu Min Li, Felip Manya, Zhu Zhu. Many-Valued MinSAT Solving. ISMVL-2014, 2014, Bremen, Germany, Germany. To appear. ⟨hal-00999304⟩

U-PICARDIE MIS UPJV-MIS-GOC

13 Consultations

0 Téléchargements