@Article{ 
  Nal16,
  author = { Naldi, Simone },
  title = { Solving rank-constrained semidefinite programs in exact arithmetic },
  journal = { J. Symb. Comput. },
  year = { 2016 },
  doi = { https://doi.org/10.1016/j.jsc.2017.07.009 },
  volume = { 85 },
  pages = { 206-223 },
  URL = { https://gecogedi.dimai.unifi.it/paper/293/ },
  note = { cvgmt preprint}
}