Troy Lee Rajat Mittal Product Theorems Via Semidefinite Programming. 674-685 2008 ICALP (1) http://dx.doi.org/10.1007/978-3-540-70575-8_55 conf/icalp/2008-1 db/conf/icalp/icalp2008-1.html#LeeM08