Practice and theory of automated timetabling | lit.salon