\begin{slide}{DPLL(T): Einzelheiten, Beispiele}

Literatur: Robert Nievenhuis et al.:
\url{http://www.lsi.upc.edu/~roberto/RTA07-slides.pdf}

Univ. Barcelona, Spin-Off: Barcelogic,

Anwendung: \url{http://barcelogic.com/en/sports}

\begin{small}
\dots software for professional sports scheduling. It has been successfully applied during the last five years in the Dutch professional football (the main KNVB Ere- and Eerste Divisies).

An adequate schedule is not only important for sportive and economical fairness among teams and for public order. It also plays a very important role reducing costs and increasing revenues, e.g., the value of TV rights.
\end{small}


\end{slide}
