ITC 2019: Results Using the UniTime Solver [paper] [presentation]
, In PATAT 2022  Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling, Volume III, 2022.
Realworld university course timetabling at the International Timetabling Competition 2019 [paper] [presentation]
, , Z. Müllerová, In PATAT 2022  Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling, Volume III, 2022.
University course timetabling and International Timetabling Competition 2019 [paper] [presentation]
, , 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]
, In PATAT 2016  Proceedings of the 11th international conference on the Practice And Theory of Automated Timetabling, 2016.
Reallife examination timetabling [link]
, Journal of Scheduling, Volume 19, Issue 3, Pages 257270, DOI 10.1007/s109510140391z, 2016.
Reallife curriculumbased timetabling with elective courses and course sections [link]
, ,
Annals of Operations Research, Volume 239, Issue 1, Pages 153170, DOI 10.1007/s1047901416431, 2016.
Reallife Examination Timetabling [paper] [data sets] [presentation]
, In MISTA 2013  Proceedings of the 6th Multidisciplinary International Scheduling Conference, 2013.
Reallife Curriculumbased Timetabling [paper] [presentation]
, , 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]
, , In MISTA 2011  Proceedings of the 5th Multidisciplinary International Scheduling Conference, 2011.
Complex university course timetabling [link]
, , ,
Journal of Scheduling, Volume 14, Number 2, Pages 187297, DOI 10.1007/s1095101001713, 2011.
Comprehensive approach to student sectioning [link]
, ,
Annals of Operations Research, Volume 181, Number 1, Pages 249269, ISSN 02545330, DOI 10.1007/s1047901007359, 2010.
System Demonstration of Interactive Course Timetabling [abstract] [presentation]
, , ,
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]
, Annals of Operations Research, Volume 127, Number 1, Pages 429446,
ISSN 02545330, DOI 10.1007/s104790090644y, 2009.
Interactive Course Timetabling [abstract] [presentation]
, , , In MISTA 2009  Proceedings of the 4th Multidisciplinary International Scheduling Conference, 2009.
Comprehensive Approach to Student Sectioning [paper] [presentation]
, , 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] [presentation] [web]
, 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] [poster] [leaflet]
, , S. Schluttenhofer, ICAPS 07, The International Conference on Automated Planning and Scheduling, 2007.
Realtime Student Sectioning [abstract] [presentation]
, , 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]
, , , 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]
, , 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]
, , , In Edmund Burke and Michael Trick, editors, Practice and Theory of Automated Timetabling,
Selected Revised Papers, Pages 126146. SpringerVerlag LNCS 3616, 2005.
MultiCriteria Soft Constraints in Timetabling [paper]
, M. Vlk, In MISTA 2005  Proceedings of the 2nd Multidisciplinary International Conference on Scheduling, Pages 1115, 2005.
Conflictbased Statistics [paper]
, , , 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]
, , , In LSCS'04  International Workshop on Local Search Techniques in Constraint Satisfaction, 2004.
Minimal Perturbation Problem in Course Timetabling [paper] [presentation]
, , 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]
, , , 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]
, , , Neural Network World (2003), Volume 13, Number 5, Pages 501511.
University Course Timetabling with Soft Constraints [paper]
, , Practice And Theory of Automated Timetabling, Selected Revised Papers. SpringerVerlag LNCS 2740, Pages 310328, 2003.
Soft CLP(FD) [paper]
, In Susan Haller and Ingrid Russell, editors, FLAIRS '03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference. AAAI Press, Pages 202206, 2003.
A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report [paper]
, , , In Proceedings of the 22nd workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), 2003.
Minimal Perturbation Problem A Formal View [paper]
, , , In K. Apt and F. Fages et. al. (eds.) Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop. Budapest, Pages 209217, 2003.
University Course Timetabling with Soft Constraints [paper] [presentation]
, , In Proceedings of the 4th international conference on the Practice And Theory of Automated Timetabling (PATAT'2002), Pages 7389, 2002.
Interactive Timetabling: Concepts, Techniques, and Practical Results [paper]
and , In Proceedins of the PATAT 2002 Conference, Gent, 2002.
Interactive Timetabling [paper]
and , In Proceedings of the ERCIM Workshop on Constraints, Prague, 2001.
Constraintbased Timetabling [thesis] [abstract]
, Ph.D. Thesis, KTIML MFF UK, Prague, 2005
Interactive Timetabling [thesis] (in Czech)
, Master Thesis, KTIML MFF UK, Prague, 2001
