Tomáš Müller, Ph.D.
Lead Application Developer at Purdue University Partner at UniTime, s.r.o.	E-mail: muller@unitime.org Curriculum Vitae: [html]
Research
University Timetabling Application [web] [wiki] [download] [highlights] [demo] Course timetabling, student sectioning, examination timetabling -- problem description, data sets, related publications, etc. Constraint Solver [web] [download] [API] [examples] [Ph.D. Thesis] [ITC 2007] Open source, local-search based solver of Constraint Satisfaction and Optimization Problems
The constraint solver was among finalists for all three tracks of the International Timetabling Competition 2007 and it won two of them, see [ITC 2007] for more details.
I have co-organized the ITC 2019: International Timetabling Competition which aimed to motivate further research on complex university course timetabling problems coming from practice. There have been three sets of ten problem instances contributed by 10 instutitions using UniTime.
Theses
Constraint-based Timetabling [thesis] [cd-rom] T. Müller, Ph.D. Thesis, KTIML MFF UK, Prague, 2005 Evolutionary Design of Microwave Circuits [thesis] [presentation] T. Müller, Master Thesis, Department of Electromagnetic Field, FEL ČVUT, Prague, June 2003 Interactive Timetabling [thesis] [presentation] [cd-rom] (in Czech) T. Müller, Master Thesis, KTIML MFF UK, Prague, September 2001
Publications and presentations: Timetabling
Student Scheduling at Purdue University [paper] T. Müller, In PATAT 2024 - Proceedings of the 14th International Conference on the Practice and Theory of Automated Timetabling, 2024. Real-world university course timetabling at the International Timetabling Competition 2019 [link] [paper] T. Müller, H. Rudová, Z. Müllerová, Journal of Scheduling, DOI 10.1007/s10951-023-00801-w, 2024. ITC 2019: Preliminary Results Using the UniTime Solver [paper] T. Müller, To appear at PATAT 2021 - Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling, 2021. 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] 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 (Print) 1572-9338 (Online), 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] 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] 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] T. Müller, K. Murray, S. Schluttenhofer, Accepted at ICAPS 07, The International Conference on Automated Planning and Scheduling, 2007. Real-time Student Sectioning [abstract] 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. 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] [presentation] 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), 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), 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, 2003, p. 209-217. Interactivity in Constraint Programming [paper] T. Müller, In Proceedings of the CP'03 Conference - Doctoral Programme, Kinsale, October 2003 Some Novel Appraches to Lecture Timetabling [paper] [presentation] T. Müller, In Proceedings of the 4th Workshop of Constraint Programming for Decision and Control, CPDC'2002, pp. 31-37, Gliwice, September 2002 Interactive Heuristic Search Algorithm [paper] [presentation] [poster] T. Müller, In Proceedings of the CP'02 Conference - Doctoral Programme, Ithaca, September 2002 Interactive Timetabling: Concepts, Techniques, and Practical Results [paper] [presentation] T. Müller and R. Barták, In Proceedins of the PATAT 2002 Conference, Gent, August 2002 Interactive Timetabling [paper] [presentation] T. Müller and R. Barták, In Proceedings of the ERCIM Workshop on Constraints, Prague, June 2001
Publications and presentations: Other
Evolutionary Design of Microwave Circuits [paper] T. Müller and Z. Škvor, In Proceedings of the COMITE'03 Conference, Pardubice, September 2003 Evolutionary Design of Microwave Coaxial Filters [paper] [presentation] (in Czech) T. Müller, CAD&CAE workshop, Katedra elektromagnetického pole, FEL ČVUT, Prague, September 2002
Last modified: September, 2024