Skip to Main content Skip to Navigation
New interface
Conference papers

Explication de clauses et de formules dans Max-SAT

Matthieu Py 1 Mohamed Sami Cherif 1 Djamal Habet 1 
1 COALA - COntraintes, ALgorithmes et Applications
LIS - Laboratoire d'Informatique et Systèmes
Résumé : 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 papers
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03737733
Contributor : Matthieu Py Connect in order to contact the contributor
Submitted on : Monday, July 25, 2022 - 1:11:00 PM
Last modification on : Saturday, September 3, 2022 - 3:51:41 AM
Long-term archiving on: : Wednesday, October 26, 2022 - 6:19:24 PM

File

JFPC_2022___Explication_de_cla...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03737733, version 1

Collections

Citation

Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Explication de clauses et de formules dans Max-SAT. JFPC 2022, Jun 2022, Saint-Etienne, France. ⟨hal-03737733⟩

Share

Metrics

Record views

19

Files downloads

4