Chee-Wei Tan 0001, Lin Ling. Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity. In 54th Annual Conference on Information Sciences and Systems, CISS 2020, Princeton, NJ, USA, March 18-20, 2020. pages 1-5, IEEE, 2020. [doi]
Abstract is missing.