\documentclass{beamer}
\input{setup}

\title{UBDD Library Enhancements}
\subtitle{(and other random stuff)}
\author[Page \thepage]{Jared Davis and Sol Swords}
\date{November 5, 2008}
\institute{Centaur Technology}
\logo{\includegraphics[scale=0.31]{logo}} 

\begin{document}

\input{abstract}

\maketitle
\logo{}

\begin{frame}
\frametitle{Outline}
\tableofcontents
\end{frame}

\section{Introduction to UBDDs}
\input{intro}

\section{New, generally useful stuff}

\begin{frame}
\frametitle{Outline} \tableofcontents[currentsection]
\end{frame}

\input{laziness}
\input{rulesets}
\input{flag}
\input{generalize}


\section{Reasoning about UBDDs}
\begin{frame}
\frametitle{Outline} \tableofcontents[currentsection]
\end{frame}

\input{pick-a-point}
\input{subset}
\input{witness}


\section{Future directions}

\begin{frame}
\frametitle{Future directions}

Maybe: A non-UBDD convention, UBDD-fixing, and guards

\SmallSkip

Names and packages

\SmallSkip

Similar libraries for AIGs, other representations

\end{frame}


\end{document}
