Publications
ITC 2019: Results Using the UniTime Solver [paper] [presentation]
T. Müller, In PATAT 2022 - Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling, Volume III, 2022.

Real-world university course timetabling at the International Timetabling Competition 2019 [paper] [presentation]
H. Rudová, T. Müller, Z. Müllerová, In PATAT 2022 - Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling, Volume III, 2022.

University course timetabling and International Timetabling Competition 2019 [paper] [presentation]
T. Müller, H. Rudová, Z. Müllerová, In PATAT 2018 - Proceedings of the 12th International Conference on the Practice and Theory of Automated Timetabling, 2018.

University Course Timetabling: Solver Evolution [paper] [presentation]
T. Müller, In PATAT 2016 - Proceedings of the 11th international conference on the Practice And Theory of Automated Timetabling, 2016.

Real-life examination timetabling [link]
T. Müller, Journal of Scheduling, Volume 19, Issue 3, Pages 257-270, DOI 10.1007/s10951-014-0391-z, 2016.

Real-life curriculum-based timetabling with elective courses and course sections [link]
T. Müller, H. Rudová, Annals of Operations Research, Volume 239, Issue 1, Pages 153-170, DOI 10.1007/s10479-014-1643-1, 2016.

Real-life Examination Timetabling [paper] [data sets] [presentation]
T. Müller, In MISTA 2013 - Proceedings of the 6th Multidisciplinary International Scheduling Conference, 2013.

Real-life Curriculum-based Timetabling [paper] [presentation]
T. Müller, H. Rudová, In PATAT 2012 - Proceedings of the 9th international conference on the Practice And Theory of Automated Timetabling, 2012.

Rapid Development of University Course Timetables [abstract] [presentation]
H. Rudová, T. Müller, In MISTA 2011 - Proceedings of the 5th Multidisciplinary International Scheduling Conference, 2011.

Complex university course timetabling [link]
H. Rudová, T. Müller, K. Murray, Journal of Scheduling, Volume 14, Number 2, Pages 187-297, DOI 10.1007/s10951-010-0171-3, 2011.

Comprehensive approach to student sectioning [link]
T. Müller, K. Murray, Annals of Operations Research, Volume 181, Number 1, Pages 249-269, ISSN 0254-5330, DOI 10.1007/s10479-010-0735-9, 2010.

System Demonstration of Interactive Course Timetabling [abstract] [presentation]
T. Müller, K. Murray, H. Rudová, In PATAT 2010 - Proceedings of the 8th international conference on the Practice And Theory of Automated Timetabling, 2010.

ITC2007 solver description: a hybrid approach [link]
T. Müller, Annals of Operations Research, Volume 127, Number 1, Pages 429-446, ISSN 0254-5330, DOI 10.1007/s10479-009-0644-y, 2009.

Interactive Course Timetabling [abstract] [presentation]
T. Müller, H. Rudová, K. Murray, In MISTA 2009 - Proceedings of the 4th Multidisciplinary International Scheduling Conference, 2009.

Comprehensive Approach to Student Sectioning [paper] [presentation]
T. Müller, K. Murray, In PATAT 2008 - Proceedings of the 7th international conference on the Practice And Theory of Automated Timetabling, 2008.

ITC2007 Solver Description: A Hybrid Approach [paper] [presentation] [web]
T. Müller, In PATAT 2008 - Proceedings of the 7th international conference on the Practice And Theory of Automated Timetabling, 2008.

University Course Timetabling & Student Sectioning System (System Demonstration) [paper] [presentation] [poster] [leaflet]
T. Müller, K. Murray, S. Schluttenhofer, ICAPS 07, The International Conference on Automated Planning and Scheduling, 2007.

Real-time Student Sectioning [abstract] [presentation]
K. Murray, T. Müller, In MISTA 07 - Proceedings of the 3rd Multidisciplinary International Scheduling: Theory and Applications, 2007.

Modeling and Solution of a Complex University Course Timetabling Problem [paper]
K. Murray, T. Müller, H. Rudová, In Edmund Burke and Hana Rudova, editors, Practice and Theory of Automated Timetabling, Selected Revised Papers, Springer-Verlag LNCS 3867, Pages 189-209, 2007.

Automated System for University Timetabling [extended abstract] [presentation]
K. Murray, T. Müller, In PATAT 2006 - Proceedings of the 6th international conference on the Practice And Theory of Automated Timetabling, Pages 536-541, 2006.

Minimal Perturbation Problem in Course Timetabling [paper]
T. Müller, R. Barták, H. Rudová, In Edmund Burke and Michael Trick, editors, Practice and Theory of Automated Timetabling, Selected Revised Papers, Pages 126-146. Springer-Verlag LNCS 3616, 2005.

Multi-Criteria Soft Constraints in Timetabling [paper]
H. Rudová, M. Vlk, In MISTA 2005 - Proceedings of the 2nd Multidisciplinary International Conference on Scheduling, Pages 11-15, 2005.

Conflict-based Statistics [paper]
T. Müller, R. Barták, H. Rudová, In EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-Heuristics, 2004.

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] [presentation]
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 233-249, 2004.

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

University Course Timetabling with Soft Constraints [paper]
H. Rudová, K. Murray, Practice And Theory of Automated Timetabling, Selected Revised Papers. Springer-Verlag LNCS 2740, Pages 310-328, 2003.

Soft CLP(FD) [paper]
H. Rudová, In Susan Haller and Ingrid Russell, editors, FLAIRS '03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference. AAAI Press, Pages 202-206, 2003.

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), 2003.

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, Pages 209-217, 2003.

University Course Timetabling with Soft Constraints [paper] [presentation]
H. Rudová, K. Murray, In Proceedings of the 4th international conference on the Practice And Theory of Automated Timetabling (PATAT'2002), Pages 73-89, 2002.

Interactive Timetabling: Concepts, Techniques, and Practical Results [paper]
T. Müller and R. Barták, In Proceedins of the PATAT 2002 Conference, Gent, 2002.

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

Theses
Constraint-based Timetabling [thesis] [abstract]
T. Müller, Ph.D. Thesis, KTIML MFF UK, Prague, 2005

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