parallel search in large state spaces