Exact and Heuristic Minimization of Determinant Decision Diagrams