Mark Braverman Raghav Kulkarni Sambuddha Roy 222-235 2007 conf/coco/2007 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2007.23 db/conf/coco/coco2007.html#BravermanKR07