Tomáš Müller, Ph.D. | ||
E-mail: 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, 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 |
||
Last modified: April 4, 2011 |