@misc{indiciaef3209a347efe,
  title = {Many bounded versions of undecidable problems are NP-hard},
  author = {Andreas Klingler and Mirte van der Eyden and Sebastian Stengele and Tobias Reinhart and Gemma De las Cuevas},
  year = {2023},
  doi = {10.21468/scipostphys.14.6.173},
  url = {https://arxiv.org/abs/2211.13532},
  note = {Source identifier: 2211.13532}
}