TY - RPRT TI - Semidefinite programming and arithmetic circuit evaluation AU - Sergey P. Tarasov AU - Mikhail N. Vyalyi PY - 2005 UR - https://arxiv.org/abs/cs/0512035 ID - cs/0512035 ER -