Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity | IEEE Conference Publication | IEEE Xplore