Lovasz Theta Problem sdp sedumi SPARSE_SDPA ls This model is taken from SDPLIB: http://www.nmt.edu/~borchers/sdplib.html/