Unsatisfiable core analysis and aggregates for optimum stable model search (Q4988946)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unsatisfiable core analysis and aggregates for optimum stable model search |
scientific article; zbMATH DE number 7350053
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.8009853959083557
0 references
0.7669392824172974
0 references
0.7557762265205383
0 references
0.7506692409515381
0 references
0.7402896881103516
0 references
