This is really cool! It reminds me of BiDirectional BFS for path finding. In this case searching from both directions cuts down the search space by three orders of magnitude. Genius.

This is the same as http://link.springer.com/chapter/10.1007%2F978-3-642-36973-5...