A fast algorithm for Stallings foldings over virtually free groups

Sam Cookson, Nicholas Touikan

We give a simple algorithm to solve the subgroup membership problem for virtually free groups. For a fixed virtually free group with a fixed generating set $X$, the subgroup member…