Sergey P. Tarasov Mikhail N. Vyalyi Semidefinite programming and arithmetic circuit evaluation. 2070-2078 2008 156 Discrete Applied Mathematics 11 http://dx.doi.org/10.1016/j.dam.2007.04.023 db/journals/dam/dam156.html#TarasovV08