@book{HofstedtWolf2011, author = {Petra Hofstedt and Armin Wolf}, title = {Einf{\"u}hrung in die Constraint-Programmierung}, isbn = {3-540-23184-6}, year = {2011}, }