Short Presburger Arithmetic Is Hard (Q5073520)
From MaRDI portal
scientific article; zbMATH DE number 7516620
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Short Presburger Arithmetic Is Hard |
scientific article; zbMATH DE number 7516620 |
Statements
Short Presburger Arithmetic Is Hard (English)
0 references
3 May 2022
0 references
Presburger arithemtic
0 references
complexity
0 references
integer programming
0 references
integer optimization
0 references
