Game Search Theory moved to Searching the Solver Tree.