Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946)
From MaRDI portal
scientific article; zbMATH DE number 7350053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search |
scientific article; zbMATH DE number 7350053 |
Statements
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (English)
0 references
20 May 2021
0 references
answer set programming
0 references
weak constraints
0 references
unsatisfiable core analysis
0 references
0 references
