\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Automatizability}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Remarks}{1}}
\citation{BPR}
\@writefile{toc}{\contentsline {section}{\numberline {2}Feasible Interpolation}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Automatizability and Feasible Interpolation}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Proof System: Cutting Planes}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Complexity}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Example refutation of our initial clauses using CP rules.}}{4}}
\newlabel{fig:example}{{1}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Exponential Lower Bounds for CPs using Feasible Interpolation}{4}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Detailed instructions on how to derive the Hole inequalities.}}{5}}
\newlabel{fig:example}{{2}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Lower Bounds for the Clique-Coclique Formula}{7}}
\citation{RAZ}
\citation{FPPR}
\citation{HP}
\citation{cs88}
\bibdata{sources.bib}
\bibcite{BPR}{BPR00}
\bibcite{cs88}{CS88}
\bibcite{FPPR}{FPPR17}
\bibcite{HP}{HP17}
\bibcite{RAZ}{Raz85}
\bibstyle{alpha}
\@writefile{toc}{\contentsline {section}{\numberline {5}Final Remarks and Further Research}{8}}