\section{``Early'' formulas}
\subsection*{Dummy}

\begin{frame}
  \begin{itemize}
  \item Existing benchmark formulas either require exponential model
    or have small unfolding
  \item \emph{early} class of formulas have exponential unfolding but
    exponetial subgraphs can be dealt with fast
  \end{itemize}
\end{frame}

\begin{frame}
  TODO construction
\end{frame}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../vortrag"
%%% TeX-engine: luatex
%%% TeX-PDF-mode: t
%%% End: 
