chapters/early.tex

   1 \section{``Early'' formulas}
   2 \subsection*{Dummy}
   3
   4 \begin{frame}
   5   \begin{itemize}
   6   \item Existing benchmark formulas either require exponential model
   7     or have small unfolding
   8   \item \emph{early} class of formulas have exponential unfolding but
   9     exponetial subgraphs can be dealt with fast
  10   \end{itemize}
  11 \end{frame}
  12
  13 \begin{frame}
  14   TODO construction
  15 \end{frame}
  16
  17 %%% Local Variables:
  18 %%% mode: latex
  19 %%% TeX-master: "../vortrag"
  20 %%% TeX-engine: luatex
  21 %%% TeX-PDF-mode: t
  22 %%% End: