Text this: EXACT ALGORITHMS FOR LINEAR MATRIX INEQUALITIES.