Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection