2011 IEEE 26th Annual Conference on Computational Complexity
Download PDF

Abstract