Beta-pruning and opponent-model search