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 条
  • [1] Solving DQBF Through Quantifier Elimination
    Gitina, Karina
    Wimmer, Ralf
    Reimer, Sven
    Sauer, Matthias
    Scholl, Christoph
    Becker, Bernd
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 1617 - 1622
  • [2] Quantifier elimination for constraint logic programming
    Sturm, T
    COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 2005, 3718 : 416 - 430
  • [3] Solving stability problems using quantifier elimination
    Liska, R
    Steinberg, S
    STABILITY THEORY: HURWITZ CENTENARY CONFERENCE, CENTRO STEFANO FRANSCINI, ASCONA, 1995, 1996, 121 : 205 - 210
  • [4] Solving geometric problems with real quantifier elimination
    Dolzmann, A
    AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 14 - 29
  • [5] A Semidefinite Programming approach for solving Multiobjective Linear Programming
    Victor Blanco
    Justo Puerto
    Safae El Haj Ben Ali
    Journal of Global Optimization, 2014, 58 : 465 - 480
  • [6] A Semidefinite Programming approach for solving Multiobjective Linear Programming
    Blanco, Victor
    Puerto, Justo
    Ben Ali, Safae El Haj
    JOURNAL OF GLOBAL OPTIMIZATION, 2014, 58 (03) : 465 - 480
  • [7] Solving integer problems using semidefinite programming
    Rendl, F
    KOI'96 - 6TH INTERNATIONAL CONFERENCE ON OPERATIONAL RESEARCH, PROCEEDINGS, 1996, : 9 - 10
  • [8] Solving graph bisection problems with semidefinite programming
    Karisch, SE
    Rendl, F
    Clausen, J
    INFORMS JOURNAL ON COMPUTING, 2000, 12 (03) : 177 - 191
  • [9] Linear programming approach to robust controller design by a quantifier elimination
    Anai, H
    Hara, S
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 656 - 661
  • [10] Abduction in Logic Programming as Second-Order Quantifier Elimination
    Wernhard, Christoph
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2013), 2013, 8152 : 103 - 119
12345