1 paper · 1 filter
Stefan Jaax, Stefan Kiefer
We analyze affine reachability problems in dimensions 1 and 2. We show that the reachability problem for 1-register machines over the integers with affine updates is PSPACE-hard, h…