added DeepDfsStrategy
(slower than GreedyDfsStrategy but finds shorter solutions)