No label defined (Q4348133)
From MaRDI portal
scientific article; zbMATH DE number 1048047
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1048047 |
Statements
22 September 1997
0 references
combinatorial reductions
0 references
hardness of combinatorial problems
0 references
encoding machine computations
0 references
master reductions
0 references
tiling
0 references
complexity classes
0 references
reduction chain to the knapsack problem
0 references
Hilbert 10 reduction
0 references
deterministic exponential time lowerbound
0 references
satisfiability in propositional dynamic logic
0 references
