TY - RPRT TI - Solving rank-constrained semidefinite programs in exact arithmetic AU - Simone Naldi PY - 2016 UR - https://arxiv.org/abs/1602.00431 ID - 1602.00431 ER -