Explication de clauses et de formules dans Max-SAT - Aix-Marseille Université Access content directly
Conference Papers Year : 2022

Explication de clauses et de formules dans Max-SAT

Matthieu Py
  • Function : Author
  • PersonId : 1090438
Mohamed Sami Cherif
  • Function : Author
  • PersonId : 1290539
  • IdHAL : sami-cherif
Djamal Habet
  • Function : Author
  • PersonId : 940715

Abstract

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].
Fichier principal
Vignette du fichier
JFPC_2022___Explication_de_clauses_et_de_formules_dans_Max_SAT.pdf (115.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03737733 , version 1 (25-07-2022)

Identifiers

  • HAL Id : hal-03737733 , version 1

Cite

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⟩
43 View
36 Download

Share

Gmail Facebook X LinkedIn More