Definable inapproximability: new challenges for duplicator (Q5216336)
From MaRDI portal
scientific article; zbMATH DE number 7168180
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definable inapproximability: new challenges for duplicator |
scientific article; zbMATH DE number 7168180 |
Statements
Definable inapproximability: new challenges for duplicator (English)
0 references
17 February 2020
0 references
descriptive complexity
0 references
hardness of approximation
0 references
MAX SAT
0 references
vertex cover
0 references
fixed-point logic with counting
0 references
