Abrahamsen, Mikkel; Miltzow, Tillmann; Seiferth, Nadja Framework for \(\exists\mathbb{R}\)-completeness of two-dimensional packing problems. (English) Zbl 07875515 TheoretiCS 3, Paper No. 11, 78 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Miltzow, Tillmann; Schmiermann, Reinier F. On classifying continuous constraint satisfaction problems. (English) Zbl 07875514 TheoretiCS 3, Paper No. 10, 54 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Schaefer, Marcus; Štefankovič, Daniel Beyond the existential theory of the reals. (English) Zbl 07835105 Theory Comput. Syst. 68, No. 2, 195-226 (2024). MSC: 03D15 14P10 68Q15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bilò, Vittorio; Hansen, Kristoffer Arnsfelt; Mavronicolas, Marios Computational complexity of decision problems about Nash equilibria in win-lose multi-player games. (English) Zbl 1537.91050 Deligkas, Argyrios (ed.) et al., Algorithmic game theory. 16th international symposium, SAGT 2023, Egham, UK, September 4–7, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14238, 40-57 (2023). MSC: 91A35 91A06 91A68 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI