In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.

Fiorino, G. (2022). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL, 30(3), 422-436 [10.1093/jigpal/jzab012].

New Tableau Characterizations for Non-clausal MaxSAT Problem

Fiorino, G
2022

Abstract

In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.
Articolo in rivista - Articolo scientifico
MaxSat; non-clausal; satisfiability; tableaux;
English
8-mar-2021
2022
30
3
422
436
reserved
Fiorino, G. (2022). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL, 30(3), 422-436 [10.1093/jigpal/jzab012].
File in questo prodotto:
File Dimensione Formato  
Fiorino-2022-Log J IGPL-VoR.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Licenza: Tutti i diritti riservati
Dimensione 957.07 kB
Formato Adobe PDF
957.07 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/323912
Citazioni
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
Social impact