Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A Clause Tableau Calculus for MaxSAT

Abstract : We define a clause tableau calculus for MaxSAT, prove its soundness and completeness, and describe a tableau-based algorithm for MaxSAT. Given a multiset of clauses that can be falsified in and an optimal assignment. We also describe how the algorithm can be extended to solve weighted MaxSAT and weighted partial MaxSAT.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-u-picardie.archives-ouvertes.fr/hal-03702170
Contributeur : Louise DESSAIVRE Connectez-vous pour contacter le contributeur
Soumis le : mercredi 22 juin 2022 - 18:57:04
Dernière modification le : jeudi 23 juin 2022 - 03:07:33

Identifiants

  • HAL Id : hal-03702170, version 1

Collections

Citation

Chu-Min Li, Felip Manya, J.R. Soler. A Clause Tableau Calculus for MaxSAT. IJCAI International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States. pp.766--772. ⟨hal-03702170⟩

Partager

Métriques

Consultations de la notice

0