Simulation-Based Admissible Dominance Pruning