Practice and theory of automated timetabling : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers / - Burke, Edmund,; Erben, Wilhelm, (Springer,, 2001)