TY  - RPRT
TI  - Many bounded versions of undecidable problems are NP-hard
AU  - Andreas Klingler
AU  - Mirte van der Eyden
AU  - Sebastian Stengele
AU  - Tobias Reinhart
AU  - Gemma De las Cuevas
PY  - 2023
DO  - 10.21468/scipostphys.14.6.173
UR  - https://arxiv.org/abs/2211.13532
ID  - 2211.13532
ER  -