Closed danzel closed 6 years ago
Probably tie break based on the utility value of the deepest node
WeightedTreeSearch sucks anyway
Probably tie break based on the utility value of the deepest node