Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A Clause Tableau Calculus for MinSAT

Abstract : We define a clause tableau calculus for MinSAT, and prove its soundness and completeness. The calculus allows one to compute the maximum number of clauses that can be falsified in a multiset of clauses by applying, finitely many times, tableaux-like inference rules. We also describe how the calculus can be extended to solve weighted MinSAT and weighted partial MinSAT.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-u-picardie.archives-ouvertes.fr/hal-03636431
Contributeur : Louise Dessaivre Connectez-vous pour contacter le contributeur
Soumis le : dimanche 10 avril 2022 - 11:39:26
Dernière modification le : lundi 11 avril 2022 - 03:00:13

Identifiants

Collections

Citation

Chu Min Li, Felip Manya, Joan Ramon Soler. A Clause Tableau Calculus for MinSAT. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, Oct 2016, Barcelona, Spain. pp.88-97, ⟨10.3233/978-1-61499-696-5-88⟩. ⟨hal-03636431⟩

Partager

Métriques

Consultations de la notice

20