Mixing Search Strategies for Multi-Player Games