The following pages link to CSDP (Q12937):
Displaying 50 items.
- Fast Reflexive Arithmetic Tactics the Linear Case and Beyond (Q3612435) (← links)
- Fully Automated Stability Verification for Piecewise Affine Systems (Q3613025) (← links)
- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems (Q3648697) (← links)
- Implementation of interior point methods for mixed semidefinite and second order cone optimization problems (Q4405940) (← links)
- PENNON: A code for convex nonlinear and semidefinite programming (Q4457888) (← links)
- SDPT3 — A Matlab software package for semidefinite programming, Version 1.3 (Q4504792) (← links)
- Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones (Q4504796) (← links)
- SDPLIB 1.2, a library of semidefinite programming test problems (Q4504799) (← links)
- Sum-of-Squares Optimization without Semidefinite Programming (Q4629344) (← links)
- A new branch-and-bound algorithm for standard quadratic programming problems (Q4646674) (← links)
- Global solution of non-convex quadratically constrained quadratic programs (Q4646675) (← links)
- Solving Large Scale Semidefinite Programs via an Iterative Solver on the Augmented Systems (Q4651963) (← links)
- Implementation and evaluation of SDPA 6.0 (Semidefinite Programming Algorithm 6.0) (Q4664050) (← links)
- (Q4739106) (← links)
- Lagrangian Dual Interior-Point Methods for Semidefinite Programs (Q4785859) (← links)
- (Q4906149) (← links)
- Semidefinite relaxation for linear programs with equilibrium constraints (Q4921222) (← links)
- Proving Termination in the Context-Sensitive Dependency Pair Framework (Q4933276) (← links)
- Primal-Dual Interior-Point Methods for Semidefinite Programming in Finite Precision (Q4943940) (← links)
- Rank Optimality for the Burer--Monteiro Factorization (Q4971016) (← links)
- Solving Natural Conic Formulations with Hypatia.jl (Q5058009) (← links)
- MathOptInterface: A Data Structure for Mathematical Optimization Problems (Q5085984) (← links)
- (Q5108544) (← links)
- Why Is Maximum Clique Often Easy in Practice? (Q5144801) (← links)
- Semidefinite Programming and Ramsey Numbers (Q5163505) (← links)
- Real World Verification (Q5191121) (← links)
- A robust algorithm for semidefinite programming (Q5200556) (← links)
- Moment methods in energy minimization: New bounds for Riesz minimal energy problems (Q5217870) (← links)
- Minimizing the number of 5-cycles in graphs with given edge-density (Q5222570) (← links)
- Solving k-Way Graph Partitioning Problems to Optimality: The Impact of Semidefinite Relaxations and the Bundle Method (Q5265177) (← links)
- Towards Automatic Convergence Verification of Self-stabilizing Algorithms (Q5307043) (← links)
- Three-point bounds for energy minimization (Q5326480) (← links)
- Semi-Infinite Programming using High-Degree Polynomial Interpolants and Semidefinite Programming (Q5355202) (← links)
- Minimum Number of Monotone Subsequences of Length 4 in Permutations (Q5364246) (← links)
- Using a Conic Bundle Method to Accelerate Both Phases of a Quadratic Convex Reformulation (Q5364279) (← links)
- SDPA PROJECT : SOLVING LARGE-SCALE SEMIDEFINITE PROGRAMS(<Special Issue>the 50th Anniversary of the Operations Research Society of Japan) (Q5385033) (← links)
- Computation of the Lasserre Ranks of Some Polytopes (Q5388017) (← links)
- Solving Lift-and-Project Relaxations of Binary Integer Programs (Q5470217) (← links)
- Computational enhancements in low-rank semidefinite programming (Q5475287) (← links)
- (Q5492525) (← links)
- A Conic Programming Approach to Generalized Tchebycheff Inequalities (Q5704226) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711486) (← links)
- Theory and Applications of Satisfiability Testing (Q5713720) (← links)
- (Q5717954) (← links)
- (Q5748086) (← links)
- On using Quadratic Interpolation of the Determinant Function to Estimate the Step-Length in a Predictor-Corrector Variant for Semidefinite Programming (Q5851650) (← links)
- Learning Dynamical Systems with Side Information (Q5883299) (← links)
- Worst-case CVaR based portfolio optimization models with applications to scenario planning (Q5891578) (← links)
- Navigating in a Graph by Aid of Its Spanning Tree Metric (Q5892569) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897211) (← links)
