Roman Bacik Sanjeev Mahajan Semidefinite Programming and its Applications to NP Problems Electronic Colloquium on Computational Complexity (ECCC) 1995 11 2 db/journals/eccc/eccc2.html#ECCC-TR95-011 http://eccc.hpi-web.de/eccc-reports/1995/TR95-011/index.html