% $Id: asp.tex 61758 2019-03-17 07:09:29Z torsten $
% $HeadURL: https://svn.cs.uni-potsdam.de/svn/reposWV/Lehre/ASP/trunk/Slides/asp.tex $

% Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License
% http://creativecommons.org/licenses/by/3.0/deed.en_US

\documentclass[t,fleqn]{beamer}

\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amssymb,amstext}

\usepackage{chessboard}
\usepackage{listings}
\lstset{basicstyle=\ttfamily,escapechar=\%,escapeinside={\#(}{\#)}}

\usepackage[ruled,vlined]{algorithm2e}
\SetAlFnt{\small}
\setlength{\algomargin}{2ex}

\usepackage{url}

\usepackage{tikz}
\usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes,calc,matrix,fit,backgrounds} % CHECK!!
\usepackage{pgfpages}
\usepackage{tikz-uml}

\usepackage[normalem]{ulem}

\newcommand{\ASPSOURCE}{../Slides}

% -- macros --------------------------------------------------------------
\input{macro}
\def\Pi{P}

\def\DeclareMathSymbolCtr#1#2#3#4{%
   \DeclareMathSymbol{#1}{#2}{#3}{#4}
   \advance #4 by1}
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\re@DeclareMathSymbol{\colonsim}{\mathrel}{symbolsC}{14}

\usepackage{pifont}
\newcommand{\itarrow}{{\Pisymbol{pzd}{229}}}
% \newcommand{\ithook}{{\Pisymbol{pzd}{52}}}
% \newcommand{\itcross}{{\Pisymbol{pzd}{56}}}
% \newcommand{\ithand}{{\Pisymbol{pzd}{43}}}
\newcommand{\OK}{\mbox{\textcolor{green}{\Pisymbol{pzd}{52}}}}
\newcommand{\KO}{\mbox{\textcolor{red}{\Pisymbol{pzd}{56}}}}
\newcommand{\BigOK}{\makebox(0,0){\Huge\textcolor{green}{\Pisymbol{pzd}{52}}}}
\newcommand{\BigKO}{\makebox(0,0){\Huge\textcolor{red}{\Pisymbol{pzd}{56}}}}

\usepackage{patch}

% -- beamer --------------------------------------------------------------
\usetheme{Pittsburgh}
\useinnertheme{rectangles}
\mode<beamer>{\usecolortheme{albatross}}
\mode<beamer>{\setbeamercolor{alerted text}{fg=yellow}}
\mode<handout>{\usecolortheme{seagull}}
\mode<handout>{\setbeamerfont{alerted text}{series=\bf}}
\mode<handout>{\colorlet{alerted}{black}}
\useoutertheme{infolines}
\setbeamertemplate{navigation symbols}{\vspace{-7pt}} % to lower the logo
\setbeamercovered{dynamic}
\setbeamertemplate{bibliography item}[text]

\AtBeginPart{
  \begin{frame}{\insertpart: Overview}
    \vfill
    \tableofcontents[hideallsubsections]
  \end{frame}
}
\AtBeginSection{
  \begin{frame}{Outline}
    \vfill
    \tableofcontents[currentsection,hideallsubsections]
  \end{frame}
}
\AtBeginSubsection{
  \begin{frame}{Outline}
    \vfill
    \tableofcontents[currentsubsection]
  \end{frame}
}

% ----------------------------------
\newif\ifLECTURE
\LECTUREfalse % \LECTUREtrue
% ----------------------------------
% HOWTO produce partwise PDFs
% 0) set \LECTUREfalse
% 1) uncomment (a) \includeonlylecture and (b) {<target>}
% 2) latex asp.tex (several times; or: rubber --pdf asp.tex)
% 3) rename asp.pdf into <target>.pdf
% 4) undo above edits, re-latex asp.tex (to get all-in-one)
% 5) launch (parts of) script 'install.sh' for installation
%
% \includeonlylecture%
% {organization}
% {motivation}
% {introduction}
% {modeling}
% {language}
% {extensions}
% {grounding}
% {computation}
% {characterizations}
% {solving}
% {msolving}
% {tsolving}
% {hsolving}
% {systems}
% {encoding}
% {preferences}
% ----------------------------------

% -- document ------------------------------------------------------------
\begin{document}
\input{frontpage}
\pgfdeclareimage[height=0.5cm]{potasscologo}{images/potassco_logo_blue}
\logo{\pgfuseimage{potasscologo}}
% ----------------------------------
\ifLECTURE\input{administration}\fi
\input{organization}
% ----------------------------------
\input{motivation}
\input{introduction}
\lstset{basicstyle=\ttfamily\small,columns=flexible}
\input{modeling}
\input{language}
\input{extensions}
% \input{grounding}
\input{computation}
\input{characterizations}
\input{solving}
\input{msolving}
\input{tsolving}
\input{hsolving}
\input{systems}
\input{encoding}
\input{preferences}
\input{grounding} % to reduce side effects
%
% \input{optimizing}
%
\input{summary}
\input{citations}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-PDF-mode: t
%%% TeX-master: t
%%% End:
