Snakes can be fooled into thinking they live in a tree

Laurent Bartholdi, Ville Salo

We construct a finitely generated group which is not virtually free, yet has decidable snake tiling problem. This shows that either a long-standing conjecture by Ballier and Stein…