MFF UK

Charles University in Prague
Faculty of Mathematics and Physics


Constraint-based Timetabling

Ph.D. Thesis

Prague, 2005

Tomáš Müller

Timetabling Publications
Minimal Perturbation Problem in Course Timetabling [paper]
T. Müller, H. Rudová, R. Barták, Practice And Theory of Automated Timetabling, Selected Revised Papers, 2005. To appear.

Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics [paper]
T. Müller, R. Barták, H. Rudová, In LSCS'04 - International Workshop on Local Search Techniques in Constraint Satisfaction, 2004.

Minimal Perturbation Problem in Course Timetabling [paper]
T. Müller, H. Rudová, In PATAT 2004 - Proceedings of the 5th international conference on the Practice And Theory of Automated Timetabling, pages 283-303, 2004.

A New Approach to Modeling and Solving Minimal Perturbation Problems [paper]
R. Barták, T. Müller, H. Rudová, In K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza (eds.), Recent Advances in Constraints. Springer-Verlag LNAI 3010, pages 223-249, 2004.

Minimal Perturbation Problem – A Formal View [paper]
R. Barták, T. Müller, H. Rudová, Neural Network World (2003), vol. 13, no. 5, p. 501-511.

A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report [paper]
R. Barták, T. Müller, H. Rudová, In Proceedings of the 22nd workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), Glasgow, 2003, p. 1-11.

Minimal Perturbation Problem – A Formal View [paper]
R. Barták, T. Müller, H. Rudová, In K. Apt and F. Fages et. al. (eds.) Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop. Budapest, 2003, p. 209-217.

Interactivity in Constraint Programming [paper]
T. Müller, In Proceedings of the CP'03 Conference - Doctoral Programme, Kinsale, 2003

Some Novel Appraches to Lecture Timetabling [paper]
T. Müller, In Proceedings of the 4th Workshop of Constraint Programming for Decision and Control, CPDC'2002, Gliwice, 2002, p. 31-37.

Interactive Heuristic Search Algorithm [paper]
T. Müller, In Proceedings of the CP'02 Conference - Doctoral Programme, Ithaca, 2002.

Interactive Timetabling: Concepts, Techniques, and Practical Results [paper]
T. Müller and R. Barták, In Proceedins of the 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT2002), Gent, 2002, p. 58-72.

Interactive Timetabling [thesis] (in Czech)
T. Müller, Master Thesis, KTIML MFF UK, Prague, 2001

Interactive Timetabling [paper]
T. Müller and R. Barták, In Proceedings of the ERCIM Workshop on Constraints, Prague, 2001

Other Publications
Evolutionary Design of Microwave Circuits [thesis]
T. Müller, Master Thesis, Department of Electromagnetic Field, FEL ČVUT, Prague, 2003

Evolutionary Design of Microwave Circuits [paper]
T. Müller and Z. Škvor, In Proceedings of the COMITE'03 Conference, Pardubice, 2003

Evolutionary Design of Microwave Coaxial Filters [paper] (in Czech)
T. Müller, CAD&CAE workshop, Katedra elektromagnetického pole, FEL ČVUT, Prague, 2002

[back]