Looking at semidefinite programs, are there any sufficient conditions for the solvability (i.e. the optimal value can be achieved, that is infimum=minimum)?

Obviously if the problem is unbounded, the optimal value cannot be attained. Also, if my objective function is continous and the domain is compact, everything is fine, right?

Any help or hint to literature would be appreciated.