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. (2021). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL [10.1093/jigpal/jzab012].
Citazione: | Fiorino, G. (2021). New Tableau Characterizations for Non-clausal MaxSAT Problem. LOGIC JOURNAL OF THE IGPL [10.1093/jigpal/jzab012]. | |
Tipo: | Articolo in rivista - Articolo scientifico | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | No | |
Titolo: | New Tableau Characterizations for Non-clausal MaxSAT Problem | |
Autori: | Fiorino, G | |
Autori: | FIORINO, GUIDO GIUSEPPE (Corresponding) | |
Data di pubblicazione: | 2021 | |
Lingua: | English | |
Rivista: | LOGIC JOURNAL OF THE IGPL | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1093/jigpal/jzab012 | |
Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.