Prahladh Harsha Rahul Jain David A. McAllester Jaikumar Radhakrishnan 10-23 2007 conf/coco/2007 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2007.32 db/conf/coco/coco2007.html#HarshaJMR07