Examples of semidefinite programs where strong duality fails.
Correct attributions for the example.