@INPROCEEDINGS{AzaBar:TTPinCLP94, title = "Timetabling in Constraint Logic Programming", author = "Francisco Azevedo and Pedro Manuel Barahona", year = "1994", booktitle = "Proceedings of the 2nd World Congress on Expert Systems", url = "http://kholosso.di.fct.unl.pt/~di/people.phtml?it=SSDI\&ch=pb", } @InProceedings{FraHarSta:UTSE95, author = "Harikleia Frangouli and Vassilis Harmandas and Panagiotis Stamatopoulos", title = "{UTSE}: {C}onstruction of Optimum Timetables for University Courses\,---\,{A} {CLP} Based Approach", booktitle = "Proceedings of the Third International Conference on the Practical Applications of Prolog (PAP'95)", publisher = "Alinmead Software Ltd", pages = "225--243", address = "Paris, France", month = apr, year = "1995", } @INPROCEEDINGS{Laj:TTPCLP96, author = "Gyuri Lajos", title = "Complete University Modular Timetabling Using Constraint Logic Programming", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "146--161", year = "1996", } @InProceedings{BoiDePe:ExamCLP93, author = "Patrice Boizumault and Yan Delon and Laurent P\'eridy", title = "Solving a Real-Life Planning Exams Problem Using Constraint Logic Programming", booktitle = "Constraint Processing: Proceedings of the International Workshop at {CSAM'93} ", editor = "Manfred Meyer", series = "Research Report RR-93-39", address = "DFKI Kaiserslautern", month = aug, pages = "107--112", year = "1993", } @INPROCEEDINGS{HeWu:OzTTP96, author = {Martin Henz and J\"{o}rg W\"{u}rtz}, title = "Using {O}z for College Timetabling", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "162--177", year = "1996", } @INPROCEEDINGS{GuJuBoi:UniversTTP95, TITLE = "Building University Timetables Using Constraint Logic Programming", AUTHOR = "Christelle Gu\'eret and Narendra Jussien and Patrice Boizumault and Christian Prins", BOOKTITLE = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", YEAR = "1996", PAGES = "130--145", } @INPROCEEDINGS{Burke:DataTTP97, TITLE = "A Standard Data Format for Timetabling Instances", AUTHOR = "Edmund K. Burke and Jeffrey H. Kingston and Paul A. Pepper", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {213--222}, } @INPROCEEDINGS{Baum:PrioritUnivTTP97, TITLE = "Priority-driven Constraints Used for Scheduling at Univesities", AUTHOR = "Michael Baumgart and Hans Peter Kunz and Sascha Meyer and Klaus Quibeldey-Cirkel", BOOKTITLE = "Practical Application of Constraint Technology", EDITOR = "Mark Wallace", PUBLISHER = "The Practical Application Company Ltd", YEAR = "1997", PAGES = {65--73}, } @InProceedings{Goltz:UnivTTP98, AUTHOR="Hans-Joachim Goltz and Georg K{\"{u}}chler and Dirk Matzke", TITLE = "Constraint-Based Timetabling for Universities", BOOKTITLE = " Proceedings {INAP}'98, 11th International Conference on Applications of Prolog", PAGES = "75--80", YEAR = "1998", } @InProceedings{Ho:HCSP97, author = "auf'm Hofe, Harald Meyer", title = "{ConPlan/SIEDAplan: P}ersonnel Assignment as a Problem of Hierarchical Constraint Satisfaction", booktitle = "Proceedings on the 3rd International Conference on Practical Applications of Constraint Technologies", publisher = "Practical Application Company Ltd.", pages = "257--272", year = "1997", url = "http://www.dfki.uni-kl.de/~hmeyer/papers/", } @InProceedings{AbSchle:NurseCLP99, author = "Slim Abdennadher and Hans Schlenker", title = "Nurse Scheduling using Constraint Logic Programming", pages = "838--843", booktitle = "Proceedings of the Sixteenth National Conference on Artificial Intelligence and the Eleventh Innovative Applications of Artificial Intelligence Conference", publisher = "AAAI Press/MIT Press", year = "1999", } @InProceedings{RoBouPar:ChipTTP95, author = "Gilles Roux and Jean-Louis Bouquard and Pierre-Yves Partant", title = "Solving school timetabling problems with {CHIP}", booktitle = "Proceedings of the Third International Conference on the Practical Applications of Prolog (PAP'95)", publisher = "Alinmead Software Ltd", pages = "511--515", address = "Paris, France", month = apr, year = "1995", } @InProceedings{KaYoNa:HeurisRepairTTP99, author = "Kazuya Kaneko and Masazumi Yoshikawa and Yoichiro Nakakuki", title = "Improving a~Heuristic Repair Method for Large-Scale School Timetabling Problems", booktitle = "Principles and Practice of Constraint Programming\,---\,{CP}'99", editor = "Joxan Jaffar", year = "1999", publisher = "Springer-Verlag LNCS 1713", pages = "275--288", } @INPROCEEDINGS{CheKaLeWhi:UniversTTP95, TITLE = "Investigations of a~Constraint Logic Programming Approach to University Timetabling", AUTHOR = "Czarina Cheng and Le Kang and Norrus Leung and George M.~White", BOOKTITLE = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", PAGES = "112-129", YEAR = "1996", } @INPROCEEDINGS{CoRo:EvolutTTP95, TITLE = "Peckish Initialisation Strategies for Evolutionary Timetabling", AUTHOR = "David Corne and Peter Ross", BOOKTITLE = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", PAGES = "227--240", YEAR = "1996", } @INPROCEEDINGS{BoGuJu:RelaxTTP94, TITLE = "Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems", AUTHOR = "Patrice Boizumault and Christelle Gu\'eret and Narendra Jussien", EDITOR = "Pierre Lim and Jean Jourdan", BOOKTITLE = "Proceeding of the 1994 ILPS post-conference workshop on Constraint Languages/Systems and their Use in Problem Modelling", VOLUME = "1 (Application and Modelling)", INSTITUTION = "{ECRC}", PAGES = "116--130", MONTH = nov, YEAR = "1994", } @TechReport{Scha:SurveyTTP95, author = "Andrea Schaerf", title = "A~Survey of Automated Timetabling", institution = "CWI", number = "CS-R9567", address = "Amsterdam, NL", year = "1995", url = "http://www.cwi.nl/ftp/CWIreports/AP", } @INPROCEEDINGS{Bla:AcademSchedul97, TITLE = "Academic Scheduling", AUTHOR = "James F.~Blakesley and Keith S.~Murray and Frederic H.~Wolf and Dagmar Murray", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {223--236}, } @INPROCEEDINGS{Bard:TTPsurvey96, author = "Victor A.Bardadym", title = "Computer-Aided School and University Timetabling: {T}he New Wave", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "22--45", year = "1996", } @INPROCEEDINGS{WhiZha:CPxTabuTTP98, TITLE = "Generating Complete University Timetables by Combining Tabu Search with Constraint Logic", AUTHOR = "George M. White and Junhan Zhang", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {187--198}, } @INPROCEEDINGS{ElmohCoddingFox:AnnealTTP98, TITLE = "A~Comparison of Annealing Techniques for Academic Course Scheduling", AUTHOR = "M. A. Saleh Elmohamed and Paul Coddington and Geoffrey Fox", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {92--112}, } @INPROCEEDINGS{RobHer:TTPasATP96, author = "Vincent Robert and Alain Hertz", title = "How to Decompose Constrained Course Scheduling Problems Into Easier Assignment Type Subproblems", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "364--373", year = "1996", } @InProceedings{AbdennadherMarte:TTPxCHR98, author = "Slim Abdennadher and Michael Marte", title = "University Timetabling using Constraint Handling Rules", editors = "Patrice Boizumault and O. Ridoux", booktitle = "Actes des Journ\'ees Francophones de Programmation en Logique et Programmation par Contraintes", year = "1998", pages = "39--49", url = "http://www.pms.informatik.uni-muenchen.de/mitarbeiter/marte/publications/JFPLC98/index.html" } @InProceedings{BurElliWea:examTTP95, author = "Edmund K. Burke and Dave G. Elliman and Rupert F. Weare", title = "A Hybrid Genetic Algorithm for Highly Constrained Timetabling Problems", booktitle = "Proceedings of the 6th International Conference on Genetic Algorithms", month = jul, year = 1995, publisher = "Morgan Kaufmann", pages = "605--610", } @TECHREPORT{RuMa:Report99, TITLE = "Timetabling with Annotations", AUTHOR = {Hana Rudov\'{a} and Lud\v{e}k Matyska}, NUMBER = {FIMU-RS-99-09}, INSTITUTION = {Faculty of Informatics Masaryk University}, ADRESS = {Brno,Czech Republic}, YEAR = 1999, URL = "http://www.fi.muni.cz/informatics/reports/" } @ARTICLE{AubFer:TTP89, TITLE = "A~Large Scale Timetabling Problem", AUTHOR = {Jean Aubin and Jacques A.~Ferland}, JOURNAL = {Computers \& Operations Research}, PAGES = {67--77}, VOLUME = 16, NUMBER = "1", YEAR = 1989, } @ARTICLE{SamFreWe:TTP95, TITLE = "Class Scheduling to Maximize Participant Satisfaction", AUTHOR = {Scott E.~Sampson and James R.~Freeland and Elliot N.~Weiss}, JOURNAL = {Interfaces}, PAGES = {30--41}, VOLUME = 25, NUMBER = "3", YEAR = 1995, } @TECHREPORT{DigNuiJan:TTP95, TITLE = "Solving a Time Tabling Problem by Constraint Satisfaction", AUTHOR = {F.P.M.~Dignum and W.P.M.~Nuijten and L.M.A.~Janssen}, NUMBER = {95-24}, INSTITUTION = {Eindhoven University of Technology}, YEAR = 1995, ISSN = {0926-4515}, PAGES= 14, TYPE = "Computing Science Reports", URL = {http://www.win.tue.nl/cs/csr/csr95/95.24.ps}, } @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", URL = "http://www.fi.muni.cz/~hanka/doc/patat00.ps", } @INPROCEEDINGS{AbSaWi:Classroom00, TITLE = "Classroom Assignment Using Constraint Logic Programming", AUTHOR = "Slim Abdennadher and Matthias Saft and Sebastian Will ", BOOKTITLE = "Proceedings of the Practical Application of Constraint Technology and Logic Programming", PUBLISHER = "The Practical Application Company Ltd", YEAR = "2000", PAGES = {179--191}, } @INPROCEEDINGS{Goltz:ConstrTTP00, TITLE = "On Methods of Constraint-Based Timetabling", AUTHOR = "Hans-Joachim Goltz", BOOKTITLE = "Proceedings of the Practical Application of Constraint Technology and Logic Programming", PUBLISHER = "The Practical Application Company Ltd", YEAR = "2000", PAGES = {167--177}, } @INPROCEEDINGS{GoMatz:IntractiveTTP99, TITLE = "Combined Interactive and Automatic Timetabling", AUTHOR = "Hans-Joachim Goltz and Dirk Matzke", BOOKTITLE = "Proceedings of the Practical Application of Constraint Technology and Logic Programming", PUBLISHER = "The Practical Application Company Ltd", YEAR = "1999", PAGES = {529--535}, } @INPROCEEDINGS{War:SchedTTRoster96, author = "Anthony Wren", title = "Scheduling, Timetabling and Rostering -- A~Special Relationship?", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "46--75", year = "1996", } @INPROCEEDINGS{CarLa:Exam96, author = "Michael W. Carter and Gilbert Laporte", title = "Recent Developments in Practical Examination Timetabling", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "3--21", year = "1996", } @INPROCEEDINGS{BouNe:Exam96, author = "Jean Paul Boufflet and St\'{e}phane N\`{e}gre", title = "Three Methods Used to Solve an~Examination Timetable Problem", booktitle = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", pages = "327--344", year = "1996", } @ARTICLE{LaDes:StudSchedul86, TITLE = "The problem of assigning students to course sections in a~large engineering school", AUTHOR = {Gilbert Laporte and Sylvain Desroches}, JOURNAL = {Computers \& Operations Research}, PAGES = {387--394}, VOLUME = 13, NUMBER = "4", YEAR = 1986, } @INPROCEEDINGS{David:RepairExam97, TITLE = "A~Constraint-Based Approach for Examination Timetabling Using Local Repair Techniques", AUTHOR = "Philippe David", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {169--186}, } @ARTICLE{BoiDelPe:CLPExams96, TITLE = "Constraint Logic Programming for Examination Timetabling", AUTHOR = {Patrice Boizumault and Yan Delon and Laurent P\'eridy}, JOURNAL = {Journal of Logic Programming}, VOLUME = 26, NUMBER = 2, PAGES = "217--233", YEAR = "1996", } @ARTICLE{AbdMar:CHR00, TITLE = "University Course Timetabling Using Constraint Handling Rules", AUTHOR = {Slim Abdennadher and Michael Marte}, JOURNAL = {Journal of Applied Artificial Intelligence}, YEAR = "2000", volume = 14, number = 4, pages = "311--326", PUBLISHER = "Taylor \& Francis", URL = "http://www.pms.informatik.uni-muenchen.de/mitarbeiter/marte/publications/JAAI00/index.html", } @INPROCEEDINGS{BaVanbeeMeis:StudentConfl98, TITLE = "A~Heuristic Incremental Modeling Approach to Course Timetabling", AUTHOR = "Don Banks and van Beek, Peter and Amnon Meisels", BOOKTITLE = "Proceedings of Artificial Intelligence'98, Canada", YEAR = "1998", } @INPROCEEDINGS{Carter:Waterloo00, TITLE = "A~Comprihensive Course Timetabling and Student Scheduling System at the {U}niversity of {W}aterloo", AUTHOR = "Michael W. Carter", 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 = {64--82}, } @BOOK{book:patat00, TITLE = "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", PUBLISHER = "Fachhochschule Konstanz, University of Applied Science, Germany", YEAR = 2000, } @BOOK{book:patat95, title = "Practice and Theory of Automated Timetabling", EDITOR = "Edmund Burke and Peter Ross", PUBLISHER = "Springer-Verlag LNCS 1153", year = "1996", } @BOOK{book:patat97, TITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", } @InProceedings{YoshiKaneNomuWata:CoastTool94, author = "Masazumi Yoshikawa and Kazuya Kaneko and Yuriko Nomura and Masanobu Watanabe", title = "A~Constraint-Based Approach to High-School Timetabling Problems: A~Case Study", pages = "1111--1116", booktitle = "Proceedings of the Sixteenth National Conference on Artificial Intelligence and the Eleventh Innovative Applications of Artificial Intelligence Conference", publisher = "AAAI Press/MIT Press", year = "1994", } @INPROCEEDINGS{ReisOliv:ExamSetVariab00, TITLE = "Examination Timetabling using Set Variables", AUTHOR = "Lu\'is Paulo Reis and Eug\'enio Oliveira", 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 = {181--183}, } @INPROCEEDINGS{Goltz:InterTTP00, TITLE = "Combined Automatic and Interactive Timetabling Using Constraint Logic Programming", AUTHOR = "Hans-Joachim Goltz", 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 = {78--95}, } @InProceedings{LimEtAl:CampusExam00, author = "Andrew Lim and Ang Juay Chin and Ho Wee Kit and Oon Wee Chong", title = "A~Campus-wide University Examination Timetabling Application", pages = "1020--1025", booktitle = "Proceedings of the 7th National Conference on Artificial Intelligence ({AAAI}-00); Proceedings of the 12th Conference on Innovative Applications of Artificial Intelligence", publisher = "AAAI/MIT Press", address = "Menlo Park, Cal.", year = "2000", } @Article{HenzWurtz:TTP96, author = "Martin Henz and J{\"o}rg W{\"u}rtz", title = {Constraint-based Time Tabling---A Case Study}, journal = {Applied Artificial Intelligence}, volume = 10, number = 5, year = 1996, pages = {439--453} } @INPROCEEDINGS{Ru:ercim01, TITLE = "Soft Scheduling", AUTHOR = "Hana Rudov\'{a}", BOOKTITLE = "Proceedings of the 2001 ERCIM Workshop on Constraints", ADRESS = "Prague, Czech Republic", YEAR = 2001, PUBLISHER = "Charles University, Faculty of Mathematics and Physics", NOTE = "See \url{http://arXiv.org/html/cs.PL/0110012}", } @INPROCEEDINGS{BlakeMur:BlakeMur97, TITLE = "Academic Scheduling", AUTHOR = "James F. Blakesley and Keith S. Murray and Frederick H. Wolf and Dagmar Murray", BOOKTITLE = "Practice and Theory of Automated Timetabling {II}", EDITOR = "Edmund Burke and Michael Carter", PUBLISHER = "Springer-Verlag LNCS 1408", YEAR = "1998", PAGES = {223--236}, } @UNPUBLISHED{Ru:Purdue01, TITLE = {Automatic Timetable Generation}, AUTHOR = "Hana Rudov\'a", YEAR = 2001, NOTE = "Project notes, Space management and academic scheduling department, Purdue University", } @INPROCEEDINGS{Carter:Waterloo01, TITLE = "A~Comprihensive Course Timetabling and Student Scheduling System at the {U}niversity of {W}aterloo", AUTHOR = "Michael W. Carter", BOOKTITLE = "Practice and Theory of Automated Timetabling III", EDITOR = "Edmund Burke and Wilhelm Erben", PUBLISHER = "Springer-Verlag LNCS 2079", YEAR = "2001", PAGES = {64--82}, } @PHDTHESIS{Mooney:phd91, TITLE = {Tabu Search Heuristics for Resource Scheduling}, AUTHOR = "Edward Mooney", SCHOOL = {Purdue University}, YEAR = 1991 } @INPROCEEDINGS{RuMu:Patat02, TITLE = "University Course Timetabling with Soft Constraints", AUTHOR = "Hana Rudov\'{a} and Keith Murray", BOOKTITLE = "PATAT 2002\,---\,Proceedings of the 4th international conference on the {P}ractice {A}nd {T}heory of {A}utomated {T}imetabling", EDITOR = "Edmund Burke and Patrick De Causmaecker", YEAR = 2002, URL = "http://www.fi.muni.cz/~hanka/publ/patat02.ps", PAGES = {73--89}, } @INPROCEEDINGS{Matzke:lookahead02, TITLE = "Timetabling for Further Educatin Institutions using Constraint Logic Programming", AUTHOR = "Dirk Matzke", BOOKTITLE = "PATAT 2002\,---\,Proceedings of the 4th international conference on the {P}ractice {A}nd {T}heory of {A}utomated {T}imetabling", EDITOR = "Edmund Burke and Patrick De Causmaecker", YEAR = 2002, PAGES = {107--109} } @INPROCEEDINGS{RuMu:Patat03, TITLE = "University Course Timetabling with Soft Constraints", AUTHOR = "Hana Rudov\'{a} and Keith Murray", BOOKTITLE = "{P}ractice {A}nd {T}heory of {A}utomated {T}imetabling, {S}elected Papers", EDITOR = "Edmund Burke and Patrick De Causmaecker", PUBLISHER = "Springer-Verlag LNCS", YEAR = 2003, NOTE = "Accepted for publication" }