Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity.

Chee-Wei Tan, Lin Ling

Browse the full CISS paper archive.