 |
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.
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
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