18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings.