Framework for \(\exists\mathbb{R}\)-completeness of two-dimensional packing problems

DOI10.46298/theoretics.24.11MaRDI QIDQ6566472

Tillmann Miltzow, Nadja Seiferth, Mikkel Abrahamsen

Publication date: 3 July 2024

Published in: TheoretiCS (Search for Journal in Brave)

zbMATH Keywords

packingpolygons\(\exists\mathbb{R}\)-completeness

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Framework for \(\exists\mathbb{R}\)-completeness of two-dimensional packing problems