Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving problems in the polynomial hierarchy with ASP(Q) |
scientific article |
Statements
Solving problems in the polynomial hierarchy with ASP(Q) (English)
0 references
4 April 2023
0 references
answer set programming
0 references
quantifiers
0 references
QBF
0 references
