Exploring constraint qualification-free optimality conditions for linear second-order cone programming | Synapse