20 citations · 22 across the 6 of their papers we have counts for
Showing 2020 · math.OCShow all
2 papers · 2 filters
math.OC2020★ 1 cited
MADAM: A parallel exact solver for Max-Cut based on semidefinite programming and ADMM
Timotej Hrga, Janez Povh
We present MADAM, a parallel semidefinite based exact solver for Max-Cut, a problem of finding the cut with maximum weight in a given graph. The algorithm uses branch and bound par…
math.OC2020★ 20 cited
BiqBin: a parallel branch-and-bound solver for binary quadratic problems with linear constraints
Nicolò Gusmeroli, Timotej Hrga, Borut Lužar +3
We present BiqBin, an exact solver for linearly constrained binary quadratic problems. Our approach is based on an exact penalty method to first efficiently transform the original…