42 citations · 160 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
math.CO2020★ 2 cited
Towards a Computational Proof of Vizing's Conjecture using Semidefinite Programming and Sums-of-Squares
Elisabeth Gaar, Daniel Krenn, Susan Margulies +1
Vizing's conjecture (open since 1968) relates the product of the domination numbers of two graphs to the domination number of their Cartesian product graph. In this paper, we formu…