S

semi-definite programming