Strong Partitioning and a Machine Learning Approximation for Accelerating the Global Optimization of Nonconvex Quadratically Constrained Quadratic Programs | Synapse