TREEWIDTH-AWARE REDUCTIONS OF NORMAL ASP TO SAT - IS NORMAL ASP HARDER THAN SAT AFTER ALL?

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2
1. Verfasser: Hecher, Markus (VerfasserIn)
Pages:17
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!