Tomáš Müller, Ph.D.
  E-mail: muller@unitime.org
Skype: My status 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, 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.


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
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

Heuristické řešení problémů [presentation] (in Czech)
T. Müller, Seminář ASP 2002, KTIML MFF UK, Prague, 2002

Photos
ConferencesPleasureOther
Last modified: April 4, 2011