@Article{ 
  HenNalMoh15,
  author = { Henrion, Didier and Naldi, Simone and  Safey El Din, Mohab },
  title = { Exact algorithms for linear matrix inequalities },
  journal = { SIAM J. Optim. },
  year = { 2015 },
  volume = { 26 },
  number = { 4 },
  pages = { 2512–2539 },
  URL = { https://gecogedi.dimai.unifi.it/paper/294/ },
  note = { cvgmt preprint}
}