A Clause Tableaux Calculus for MaxSAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Clause Tableaux Calculus for MaxSAT

Chu Min Li
Modélisation, Information et Systèmes - UR UPJV 4290
Felip Manya
Joan Ramon Soler
  • Fonction : Auteur

Résumé

no abstract

Domaines

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

Corinne LUCET  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01323739

Soumis le : mardi 31 mai 2016-10:20:14

Dernière modification le : mercredi 22 mars 2023-11:44:12

Fichier non déposé

Dates et versions

hal-01323739 , version 1 (31-05-2016)

Identifiants

  • HAL Id : hal-01323739 , version 1

Citer

Chu Min Li, Felip Manya, Joan Ramon Soler. A Clause Tableaux Calculus for MaxSAT. IJCAI-2016, 2016, New York City, USA, United States. ⟨hal-01323739⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

U-PICARDIE MIS UPJV-MIS-GOC
48 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More