Paper accepted at STACS 2026