| Title: |
De la résolution à la max-résolution |
| Authors: |
Cherif, Mohamed, Sami; Habet, Djamal; Py, Matthieu |
| 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: |
Journées Francophones de Programmation par Contraintes (JFPC) ; https://amu.hal.science/hal-03714732 ; Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France |
| Publisher Information: |
CCSD |
| Publication Year: |
2022 |
| Collection: |
Université de Toulon: HAL |
| Subject Terms: |
Preuves; Résolution sans croisement; Max-résolution; Max-SAT; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] |
| Subject Geographic: |
Saint-Étienne; France |
| Description: |
National audience ; Adapter une preuve par résolution en une preuve par max-résolution sans augmenter considérablement sa taille est une question ouverte. En effet, la seule classe dont l'adaptation est connue et triviale est celle où les clauses sont utilisées au plus une fois dans les preuves. Dans ce papier, on propose une nouvelle classe de résolution, appelée résolution sans croisement, dans laquelle les clauses réutilisées plusieurs fois sont exploitées indépendemment pour générer de nouvelles informations. On démontre que les preuves de cette classe peuvent être adaptées en preuves par max-résolution sans augmentation considérable de leur taille en utilisant les clauses de compensation générées par la max-résolution. |
| Document Type: |
conference object |
| Language: |
French |
| Availability: |
https://amu.hal.science/hal-03714732; https://amu.hal.science/hal-03714732v1/document; https://amu.hal.science/hal-03714732v1/file/JFPC_2022___Crossing_free_resolution___final%20%285%29.pdf |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.13360EC1 |
| Database: |
BASE |