Answer Set Enumeration via Assumption Literals (Q5215367)
From MaRDI portal
scientific article; zbMATH DE number 7165496
Language | Label | Description | Also known as |
---|---|---|---|
English | Answer Set Enumeration via Assumption Literals |
scientific article; zbMATH DE number 7165496 |
Statements
Answer Set Enumeration via Assumption Literals (English)
0 references
10 February 2020
0 references
answer set programming
0 references
enumeration
0 references
assumption literals
0 references