ngo.tex

% ----------------------------------------------------------------------
\begin{frame}{\ngo}
  \begin{itemize}
  \item \structure{Idea} \ improve non-ground logic programs
  \item \structure{Features} \
    \begin{itemize}
    \item instance independent
    \item detects symmetries
    \item improves aggregate translation
    \item improves optimization statements
    \item improves mathematical computations
    \item removes unnecessary variables/predicates
    \end{itemize}
  \item \structure{Slogan} \ Write clean ASP code without worrying about performance!
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: