
SparsePOP
 Referenced in 58 articles
[sw04331]
 SparsePOP: a sparse semidefinite programming relaxation of polynomial optimization problems. SparsePOP is a Matlab implementation ... sparse semidefinite programming (SDP) relaxation method for approximating a global optimal solution of a polynomial...

GloptiPoly
 Referenced in 247 articles
[sw04343]
 hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose...

SFSDP
 Referenced in 31 articles
[sw04793]
 SFSDP: A Sparse Version of Full Semidefinite Programming Relaxation for Sensor Network Localization Problems SFSDP ... sensor networks. SFSDP implements the semidefinite programming (SDP) relaxation proposed ... sparse version of the full semidefinite programming relaxation (FSDP) by Biswas...

Outward rotations
 Referenced in 44 articles
[sw08660]
 tool for rounding solutions of semidefinite programming relaxations, with applications to MAX CUT and other ... enhancing the performance of several semidefinite programming based approximation algorithms. Using outward rotations, we obtain...

DSPCA
 Referenced in 35 articles
[sw04804]
 constrained, and derive a semidefinite programming based relaxation for our problem. We also discuss Nesterov...

CirCut
 Referenced in 42 articles
[sw04782]
 Ranktwo relaxation heuristics for MAXCUT and other binary quadratic programs The GoemansWilliamson ... need for solving an expensive semidefinite relaxation. In order to achieve better practical performance ... propose an alternative, ranktwo relaxation and develop a specialized version of the GoemansWilliamson ... relaxation heuristics is compared with two stateoftheart semidefinite programming codes that implement...

SDPLIB
 Referenced in 60 articles
[sw00838]
 problems. SDLIB is a collection of semidefinite programming (SDP) test problems. The problems are drawn ... truss topology design, control systems engineering, and relaxations of combinatorial optimization problems. The current version...

SDP_S
 Referenced in 20 articles
[sw07708]
 From Linear to Semidefinite Programming: an Algorithm to obtain Semidefinite Relaxations for Bivalent Quadratic Problems...

Ncpol2sdpa
 Referenced in 3 articles
[sw17564]
 Algorithm 950: Ncpol2sdpa  sparse semidefinite programming relaxations for polynomial optimization problems of noncommuting variables ... hierarchy of semidefinite programming (SDP) relaxations approximates the global optimum of polynomial optimization problems...

ADMM_QAP
 Referenced in 4 articles
[sw31756]
 relaxation of the QAP. Semidefinite programming, SDP, relaxations have proven to be extremely strong...

SpeeDP
 Referenced in 4 articles
[sw07003]
 instances We consider lowrank semidefinite programming (LRSDP) relaxations of unconstrained ${1,1}$ quadratic problems...

Biq Mac
 Referenced in 64 articles
[sw10532]
 bounding procedure is solving the basic semidefinite relaxation of the MaxCut problem, which ... particular, for dense graphs, where linear programmingbased methods fail, our method performs very well...

SDPNAL+
 Referenced in 30 articles
[sw13239]
 solving twoeasyblock structured semidefinite programs”, Math. Program. Comput ... difficult SDP problems arising from the relaxations of quadratic assignment problems tested in SDPNAL...

Apron
 Referenced in 61 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ATLAS
 Referenced in 194 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

BARON
 Referenced in 294 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 104 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1721 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 189 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

EIGIFP
 Referenced in 38 articles
[sw00235]
 eigifp is a MATLAB program for computing a...