Exploiting structure in sum of squares programs | IEEE Conference Publication | IEEE Xplore