My homepage has moved to http://www.gecode.org/~schulte.