Coverability in 2-VASS with One Unary Counter is in NP

von Mazowiecki, Filip
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

Hamiltonian Cycle Parameterized by Treedepth in Single Exponential Time and Polynomial Space

von Nederlof, Jesper
Veröffentlicht in WG (46. : 2020 : Online) Graph-theoretic concepts in computer science (2020)

Gap-ETH-Tight Approximation Schemes for Red-Green-Blue Separation and Bicolored Euclidean Travelling Salesman Tours

von Dross, François
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (34. : 2023 : Florenz; Online) Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) ; Volume 2 of 7 (2023)

A Faster Exponential Time Algorithm for Bin Packing with a Constant Number of Bins via Additive Combinatories

von Nederlof, Jesper
Veröffentlicht in ACM-SIAM Symposium on Discrete Algorithms (32. : 2021 : Online) Thirty-second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2021) ; Volume 3 of 4 (2021)