\begin{slide}{Pentomino}

Es gibt 12 \emph{Pentominos}: 
zusammenhängende Figuren aus je 5 
Einheitsquadraten.

(Henry Ernest Dudeny, 1907;  Solomon W. Golomb, 197*)

\begin{itemize}
\item 
Kann man damit ein Schachbrett ohne 
das $2\times 2$-Mittelquadrat überdecken?
\end{itemize}

(und viele ähnliche Fragen dieser Art.)

Lösung durch SAT-Modellierung.

Variablen? Constraints?


\end{slide}
