Tomáš Müller, Ph.D.  
Email: muller@unitime.org Skype: tomas.mueller 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.  
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 

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 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 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 126–146. 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 Heuristické řešení problémů [presentation] (in Czech) T. Müller, Seminář ASP 2002, KTIML MFF UK, Prague, 2002 

Photos 

Conferences


Last modified: April 4, 2011 