activity
20132026
most citedDecomposition of arrow type positive semidefinite matrices with application to topology optimization

13 citations · 21 across the 12 of their papers we have counts for

collaborators

17 papers

math.OC2026

Failure Modes of Interior-Point SDP Solvers on Moment--SOS Hierarchies

Michal Kocvara

Standard semidefinite programming (SDP) solvers working in double precision can become unreliable on difficult problems, even when their output appears plausible. We study this iss…

math.OC2025

Term-sparse polynomial optimization for the design of frame structures

Marouan Handa, Marek Tyburec, Michal Kočvara

This work investigates an efficient solution to two fundamental problems in topology optimization of frame structures. The first one involves minimizing structural compliance under…

math.OC2024

On the numerical solution of Lasserre relaxations of unconstrained binary quadratic optimization problem

Soodeh Habibi, Michal Kocvara, Michael Stingl

The aim of this paper is to solve linear semidefinite programs arising from higher-order Lasserre relaxations of unconstrained binary quadratic optimization problems. For this we u…

math.OC2024

Global weight optimization of frame structures under free-vibration eigenvalue constraints

Marek Tyburec, Michal Kočvara, Marouan Handa +1

Topology optimization of frame structures under free-vibration eigenvalue constraints constitutes a challenging nonconvex polynomial optimization problem with disconnected feasible…

math.OC2022★ 3 cited

Global weight optimization of frame structures with polynomial programming

Marek Tyburec, Michal Kočvara, Martin Kružík

Weight optimization of frame structures with continuous cross-section parametrization is a challenging non-convex problem that has traditionally been solved by local optimization t…

math.OC2021★ 1 cited

Partial Gradient Optimal Thresholding Algorithms for a Class of Sparse Optimization Problems

Nan Meng, Yun-Bin Zhao, Michal Kocvara

The optimization problems with a sparsity constraint is a class of important global optimization problems. A typical type of thresholding algorithms for solving such a problem adop…