Comment by thomasahle

So it is backtracking with pruning? You write that it is sub exponential, what is the running time?