1 paper · 1 filter
Maria Dostert, David de Laat, Philippe Moustrou
In this paper we give an algorithm to round the floating point output of a semidefinite programming solver to a solution over the rationals or a quadratic extension of the rational…