\BOOKMARK [1][-]{section.1}{Proof Complexity Lower Bounds}{}% 1
\BOOKMARK [2][-]{subsection.1.1}{Resolution and Cutting Planes}{section.1}% 2
\BOOKMARK [2][-]{subsection.1.2}{Reducing Depth and Tree-Size Lower bounds to Communication Complexity}{section.1}% 3
\BOOKMARK [2][-]{subsection.1.3}{Lower Bounds on depth and tree-like size for Resolution and CPs}{section.1}% 4