clingcon.tex

% ----------------------------------------------------------------------
\begin{frame}{\clingcon}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with linear constraints over integers
  \item \structure{Features} \
    \begin{itemize}
    \item integer variables not subject to grounding
    \item large integer domains
    \item basic constraints: \lstinline{&sum} and \lstinline{&distinct}
    \item multi-objective optimization \lstinline{&minimize}
    \end{itemize}
  \item \structure{References} \ \cite{ostsch12a,bakaossc16a}
  \item \structure{Applications} \ incorporate quantities, like resources and/or time
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: