Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver