Hans-Joachim Goltz Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. 77-88 2000 WLP db/conf/wlp/wlp2000.html#Goltz00