From Non-Clausal to Clausal MinSAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

From Non-Clausal to Clausal MinSAT

Felip Manyà
  • Fonction : Auteur
Joan Ramon Soler
  • Fonction : Auteur
Amanda Vidal
  • Fonction : Auteur

Résumé

We tackle the problem of solving MinSAT for multisets of propositional formulas that are not necessarily in clausal form. Our approach reduces non-clausal to clausal MinSAT, since this allows us to rely on the much developed clause-based MinSAT solvers. The main contribution of this paper is the definition of several transformations of multisets of propositional formulas into multisets of clauses so that the maximum number of unsatisfied clauses in both multisets is preserved.
Fichier principal
Vignette du fichier
FAIA-339-FAIA210113.pdf (220.96 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04322254 , version 1 (04-12-2023)

Identifiants

Citer

Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal. From Non-Clausal to Clausal MinSAT. Artificial Intelligence Research and Development, 2021, Online (Guadalajara), Spain. pp.27-36, ⟨10.3233/FAIA210113⟩. ⟨hal-04322254⟩
4 Consultations
5 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More