Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set-Reference-Cited by-同舟云学术

Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set

Published:2018-07-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
language:
Short-container-title:

Author:

Henrion Didier¹,Naldi Simone²,Safey El Din Mohab³

Affiliation:

1. CNRS LAAS - Université de Toulouse & CTU, Toulouse, Prague, France

2. Univ. Limoges, XLIM, Limoges, France

3. Sorbonne Université, CNRS, INRIA & LIP6, Équipe PolSys, Paris, France

Funder

PGMO

Agence Nationale de la Recherche

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3208976.3209022

Reference36 articles.

1. X. Allamigeon P. Benchimol S. Gaubert and M. Joswig. 2014. Long and winding central paths. arXiv preprint arXiv:1405.4161 (2014). X. Allamigeon P. Benchimol S. Gaubert and M. Joswig. 2014. Long and winding central paths. arXiv preprint arXiv:1405.4161 (2014).

2. Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms

3. M.F. Anjos and J-B. Lasserre. 2012. Introduction to semidefinite conic and polynomial optimization. Handbook on semidefinite conic and polynomial optimization. Springer 1--22. M.F. Anjos and J-B. Lasserre. 2012. Introduction to semidefinite conic and polynomial optimization. Handbook on semidefinite conic and polynomial optimization. Springer 1--22.

4. B. Bank M. Giusti J. Heintz and M. Safey El Din. 2014. Intrinsic complexity estimates in polynomial optimization. Journal of Complexity 0 (2014) --. B. Bank M. Giusti J. Heintz and M. Safey El Din. 2014. Intrinsic complexity estimates in polynomial optimization. Journal of Complexity 0 (2014) --.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming;Information and Computation;2022-11

2. On the Central Path of Semidefinite Optimization: Degree and Worst-Case Convergence Rate;SIAM Journal on Applied Algebra and Geometry;2022-05-26

3. Exact algorithms for semidefinite programs with degenerate feasible set;Journal of Symbolic Computation;2021-05

4. Exact Semidefinite Programming Bounds for Packing Problems;SIAM Journal on Optimization;2021-01

5. Nonlinear Craig Interpolant Generation;Computer Aided Verification;2020