9 - Circuits and Proofs
from Part II - Applications
Published online by Cambridge University Press: 30 January 2020
Summary
Describes KW equivalence between circuit depthand communication complexity. Explains how toprove lower bounds in proof complexity.
- Type
- Chapter
- Information
- Communication Complexityand Applications, pp. 157 - 174Publisher: Cambridge University PressPrint publication year: 2020