Improved search strategy, pruning visited branches, concurrency