Neeraj Kayal Nitin Saxena Polynomial Identity Testing for Depth 3 Circuits. 115-138 2007 16 Computational Complexity 2 http://dx.doi.org/10.1007/s00037-007-0226-9 db/journals/cc/cc16.html#KayalS07