On solving semidefinite programming by quantifier elimination

被引:0
|
作者
Anai, H [1 ]
机构
[1] Fujitsu Labs Ltd, High Performance Comp Res Ctr, Nakahara Ku, Kawasaki, Kanagawa 2118588, Japan
来源
PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6 | 1998年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:2814 / 2818
页数:5
相关论文
共 50 条
  • [41] Solving Euclidean Distance Matrix Completion Problems Via Semidefinite Programming
    Abdo Y. Alfakih
    Amir Khandani
    Henry Wolkowicz
    Computational Optimization and Applications, 1999, 12 : 13 - 30
  • [42] Solving polynomial least squares problems via semidefinite programming relaxations
    Kim, Sunyoung
    Kojima, Masakazu
    JOURNAL OF GLOBAL OPTIMIZATION, 2010, 46 (01) : 1 - 23
  • [43] PREDICTOR-CORRECTOR SMOOTHING NEWTON METHOD FOR SOLVING SEMIDEFINITE PROGRAMMING
    Wu, Caiying
    Chen, Guoqing
    BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2009, 79 (03) : 367 - 376
  • [44] Semidefinite programming
    Helmberg, C
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2002, 137 (03) : 461 - 482
  • [45] A novel neural network for solving semidefinite programming problems with some applications
    Nikseresht, Asiye
    Nazemi, Alireza
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2019, 350 : 309 - 323
  • [46] Modeling and solving of truss topology optimization problems based on semidefinite programming
    Hao B.
    Zhou Z.
    Qu G.
    Li D.
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2019, 51 (10): : 11 - 21
  • [47] Semidefinite programming
    Vandenberghe, L
    Boyd, S
    SIAM REVIEW, 1996, 38 (01) : 49 - 95
  • [48] Semidefinite programming
    Michael Overton
    Henry Wolkowicz
    Mathematical Programming, 1997, 77 : 105 - 109
  • [49] APPLYING LINEAR QUANTIFIER ELIMINATION
    LOOS, R
    WEISPFENNING, V
    COMPUTER JOURNAL, 1993, 36 (05) : 450 - 462
  • [50] Real quantifier elimination in practice
    Dolzmann, A
    Sturm, T
    Weispfenning, V
    ALGORITHMIC ALGEBRA AND NUMBER THEORY, 1998, : 221 - 247