- Tytuł:
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
- Autorzy:
-
Alviano, Mario
Dodaro, Carmine - Data publikacji:
- 2020
- Słowa kluczowe:
-
answer set programming
ASP
weak constraints
unsatisfiable core analysis - Pokaż więcej
- Dostawca treści:
- BazTech