Tomáš Müller, Ph.D.  
Lead Application Developer at Purdue University Partner at UniTime, s.r.o. 
Email: 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, localsearch 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 coorganized 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 

Constraintbased Timetabling [thesis] [cdrom] 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] [cdrom] (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. Realworld 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/s1095102300801w, 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. Reallife examination timetabling [link] T. Müller, Journal of Scheduling, Volume 19, Issue 3, Pages 257270, DOI 10.1007/s109510140391z, 2016. Reallife curriculumbased timetabling with elective courses and course sections [link] T. Müller, H. Rudová, Annals of Operations Research, Volume 239, Issue 1, Pages 153170, DOI 10.1007/s1047901416431, 2016. Reallife Examination Timetabling [paper] [data sets] [presentation] T. Müller, In MISTA 2013  Proceedings of the 6th Multidisciplinary International Scheduling Conference, 2013. Reallife Curriculumbased 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 187297, DOI 10.1007/s1095101001713, 2011. Comprehensive approach to student sectioning [link] T. Müller, K. Murray, Annals of Operations Research, Volume 181, Number 1, Pages 249269, ISSN 02545330, DOI 10.1007/s1047901007359, 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 429446, ISSN 02545330 (Print) 15729338 (Online), DOI 10.1007/s104790090644y, 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. Realtime 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, SpringerVerlag LNCS 3867, pages 189209, 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 536541, 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 126146. SpringerVerlag LNCS 3616, 2005. Conflictbased Statistics [paper] T. Müller, R. Barták, H. Rudová, In EU/ME Workshop on Design and Evaluation of Advanced Hybrid MetaHeuristics, 2004. Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflictbased 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 283303, 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. SpringerVerlag LNAI 3010, pages 233249, 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. 501511. 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. 209217. 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. 3137, 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 