A Tableau Calculus for MaxSAT Based on Resolution : 24th Catalan Association for Artificial Intelligence International conference
In: Frontiers in artificial intelligence and applications 356:35-44; Jg. 356 (2022) S. 35-44
Konferenz
Zugriff:
Titel: |
A Tableau Calculus for MaxSAT Based on Resolution : 24th Catalan Association for Artificial Intelligence International conference
|
---|---|
Autor/in / Beteiligte Person: | Li, Shoulin ; Coll, Jordi ; Habet, Djamal ; Li, Chu-Min ; Manyà, Felip |
Link: | |
Quelle: | Frontiers in artificial intelligence and applications 356:35-44; Jg. 356 (2022) S. 35-44 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISSN: | 0922-6389 (print) |
Sonstiges: |
|