Automated Reasoning by Convex Optimization: Proof Simplicity, Duality and Sparsity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Chee-Wei Tan 0001' in GoogleThis author has not been identified. Look up 'Lin Ling' in Google

runs on WebDSL