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

Publication
2020 54th Annual Conference on Information Sciences and Systems (CISS)

Related