Decision Diagram Decomposition for Quadratically Constrained Binary Optimization - BizPub.ai