Publications

De las Cuevas group 6/29/23 De las Cuevas group 6/29/23

Many bounded versions of undecidable problems are NP-hard

Andreas Klingler, Mirte van der Eyden, Sebastian Stengele, Tobias Reinhart, and Gemma De las Cuevas. SciPost Phys. 14, 173 (2023). arXiv:2211.13532

Gemma De les Coves 8/18/22 Gemma De les Coves 8/18/22

Tobias Reinhart and Gemma De les Coves. Proc. Roy. Soc. A 481, 20240579 (2025). arXiv:2208.08301