Eintrag weiter verarbeiten
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Gespeichert in:
Zeitschriftentitel: | Theory and Practice of Logic Programming |
---|---|
Personen und Körperschaften: | , , |
In: | Theory and Practice of Logic Programming, 19, 2019, 4, S. 603-628 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Cambridge University Press (CUP)
|
Schlagwörter: |