@INPROCEEDINGS{RuMa:Patat00,
        TITLE = "Constraint-based Timetabling with Student Schedules",
        AUTHOR = "Hana Rudov\'{a} and Lud\v{e}k Matyska",
        BOOKTITLE = "PATAT 2000\,---\,Proceedings of the 3rd international
                     conference on the {P}ractice {A}nd {T}heory of
                     {A}utomated {T}imetabling",
        EDITOR = "Edmund Burke and Wilhelm Erben",
        YEAR = 2000,
        PAGES = "109--123",
        ISBN = "3-00-003866-3",
        URL = "http://www.fi.muni.cz/~hanka/doc/patat00.ps",
}