Twenty-second Annual IEEE Conference on Computational Complexity CCC 2007 : proceedings : San Diego, California, June 13-16, 2007 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT and EATCS. (IEEE Computer Society, 2007)