Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation | IEEE Journals & Magazine | IEEE Xplore