| Title: |
Explication de clauses et de formules dans Max-SAT |
| Authors: |
Py, Matthieu; Cherif, Mohamed Sami; Habet, Djamal |
| Contributors: |
COntraintes, ALgorithmes et Applications (COALA); Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS); Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) |
| Source: |
JFPC 2022 ; https://amu.hal.science/hal-03737733 ; JFPC 2022, Jun 2022, Saint-Etienne, France |
| Publisher Information: |
CCSD |
| Publication Year: |
2022 |
| Collection: |
Université de Toulon: HAL |
| Subject Terms: |
[INFO]Computer Science [cs] |
| Subject Geographic: |
Saint-Etienne; France |
| Description: |
International audience ; Dans ce papier, on s'intéresse à la construction de transformations préservant l'équivalence Max-SAT afin d'inférer de l'information (clause ou formule) à partir d'une formule donnée. Dans ce but, on définit et caractérise la notion de clauses et formules explicables, on propose un système de preuve complet pour l'inférence dans Max-SAT et un algorithme associé pour expliquer ou réfuter l'explicabilité de n'importe quelle clause ou formule. On donne enfin des bornes théoriques sur la taille des transformations calculées. Cet article résume le travail publié à la conférence ICTAI 2021 [3]. |
| Document Type: |
conference object |
| Language: |
French |
| Availability: |
https://amu.hal.science/hal-03737733; https://amu.hal.science/hal-03737733v1/document; https://amu.hal.science/hal-03737733v1/file/JFPC_2022___Explication_de_clauses_et_de_formules_dans_Max_SAT.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.3FF0771 |
| Database: |
BASE |