Textbooks & References

Following are the reference books. Specific reading materials will be assigned on special topics as and when needed.

The reference books for this course are as follows.

• [Kozen] - Theory of Computation by Dexter C Kozen
• [Arora-Barak] - Computational Complexity: A modern approach by Sanjeev Arora and Boaz Barak. Draft copy
• [Goldreich] - Computational Complexity: A Conceptual Perspective by Oded Goldreich. Draft copy
• [Jukna] - Boolean Function Complexity: Advances and Frontiers by Stasys Jukna.
• [Vollmer] - Introduction to Circuit Complexity: A Uniform Approach by Heribert Vollmer