clingo-lp.tex

% ----------------------------------------------------------------------
\begin{frame}{\clingolp}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with linear constraints over integers and/or reals
  \item \structure{Features} \
    \begin{itemize}
    \item integer/real variables not subject to grounding
    \item basic constraint \lstinline{&sum}
    \item optimization  \lstinline{&minimize}
    \item integrates MILP solver (\lpsolve, \cplex, \dots)
    \end{itemize}
  \item \structure{References} \ \cite{jakaosscscwa17a,karoscwa21a}
  \item \structure{Applications} \ notably, hybrid metabolic network completion~\cite{frscscsiwa18a}
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: