Pentomino

Es gibt 12 Pentominos: zusammenhängende Figuren aus je 5 Einheitsquadraten.

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

• Kann man damit ein Schachbrett ohne das 2×2 mathend000#-Mittelquadrat überdecken?

(und viele ähnliche Fragen dieser Art.)

Lösung durch SAT-Modellierung.

Variablen? Constraints?