Comment by amelius

Everybody can be an armchair mathematician now. Just fling some thoughts in the direction of your AI setup and let it do breadth first search with AI based pruning heuristics.