Semidefinite programming relaxations for quantum correlations Sometimes a mathematical tool emerges as uniquely useful and even a defining feature within some branch of physics such as Feynman diagrams. In quantum information theory, the semidefinite program (SDP) has emerged as such a tool. SDP is an optimization task in which a linear objective function is maximized over a set of Hermitian matrices with positive eigenvalues. This review discusses the highly efficient algorithms available for ...