EXACT ALGORITHMS FOR LINEAR MATRIX INEQUALITIES. - HENRION, DIDIER; NALDI, SIMONE; EL DIN, MOHAB SAFEY (SIAM Journal on Optimization, 2016)