Funded Projects
| GA CR Project No. 201/07/0205 : Dynamic Aspects of Scheduling, 2007 - 2009, jointly with MFF UK. |
| Parallel and distributed systems, 2005 - 2011.
Research intent No. 0021622419, Ministry of Education of the CR.
|
| CoreGRID project (European Research Network on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies), Institute on Resource Management and Scheduling, involved from 2006 to 2008. |
| Purdue University Project: Timetabling III, 2004-2005 - 010-1128-3 |
| Purdue University Project: Timetabling II, 2002-2003 - 010-1128-2 |
| Purdue University Project: Timetabling, 2001-2002 - 010-1128-1 |
| GA CR
Project: Advanced Planning and Scheduling, 2001-2003, jointly with MFF UK - GA201/01/0942 |
| FRVS Project: Over-Constrained Systems, 1999 - FRVS#0407/1999 |
| FRVS Project: Constraint Logic Programming, 1998 - FRVS#0748/1998 |
Research Links
| Alea Grid Simulation Environment (Dalibor Klusacek) |
| University Course Timetabling at Purdue University (Keith Murray and Tomáš Müller) |
| University Course Timetabling with Integer Programming (Jakub Marecek) including Memos solvers with source files |
Journal Papers
| Petr Holub, Hana Rudová and Milos Liska,
Data Transfer Planning with Tree Placement for
Collaborative Environments.
Constraints, 16(3):283-316, Springer, 2011.
DOI 10.1007/s10601-011-9106-7 |
| Hana Rudová, Tomas Muller and Keith Murray, Complex university
course timetabling. Journal of Scheduling, 14(2): 187-207, Springer, 2011.
DOI 10.1007/s10951-010-0171-3 |
| Dalibor Klusacek and Hana Rudová,
Efficient Grid Scheduling through the Incremental Schedule-based
Approach.
Computational Intelligence: An International Journal, 27(1): 4-22, 2011.
DOI 10.1111/j.1467-8640.2010.00369.x |
| Edmund K. Burke, Jakub Marecek, Andrew J. Parkes and Hana Rudová,
A Branch-and-cut Procedure for the Udine Course Timetabling Problem.
Annals of
Operations Research, Springer, 17 pages, 2011. To appear.
DOI 10.1007/s10479-010-0828-5 |
| Edmund K. Burke, Jakub Marecek, Andrew J. Parkes and Hana Rudová,
A supernodal formulation of vertex colouring with applications
in course timetabling. Annals of Operations Research, 179(1): 105-130,
2010.
DOI 10.1007/s10479-010-0716-z, pre-print |
| Edmund K. Burke, Jakub Marecek, Andrew J. Parkes and Hana Rudová,
Decomposition, Reformulation, and Diving in University Course
Timetabling.
Computers & Operations Research, 37(3): 582-597, 2010.
DOI 10.1016/j.cor.2009.02.023 |
| Roman Barták,
Tomáš Müller, Hana Rudová, Minimal Perturbation Problem
- A Formal View. Neural Network World, 13(5): 501-511, 2003. |
Editorship
| Roman
Barták and Hana Rudová, Special issue on applications
and methodologies for planning and scheduling: editorial.
In Journal of Scheduling, vol. 13, no. 4, pages 299-300, 2010.
DOI 10.1007/s10951-010-0187-8 |
|
Edmund K. Burke and Hana Rudová, editors.
Practice and Theory of Automated Timetabling VI.
Lecture Notes in Computer Science 3867, Springer-Verlag, 2007.
URL |
|
Edmund K. Burke and Hana Rudová, editors. PATAT 2006 - Proceedings of The 6th
International Conference on the Practice and Theory of Automated
Timetabling.
ISBN 80-210-3726-1. Masaryk University, Brno, Czech Republic, 2006.
URL, PDF |
Other Publications
| Pavel Troubil and Hana Rudová and Pavel Troubil.
Integer Linear Programming Models for Media Streams Planning.
International Conference on Applied Operational Research (ICAOR 2011), 2011.
|
| Hana Rudová and Tomáš Müller,
Rapid Development of University Course Timetables (extended abstract).
Proceedings of the 5th Multidisciplinary International Scheduling
Conference (MISTA 2011),
pages 649--652. 2011 PDF, slides |
| Petr Holub, Miloš Liška, Hana Rudová and Pavel Troubil.
Comparison of CP and IP Techniques for Data Transfer Planning.
In Proceedings of the 28th workshop of the UK
Planning and Scheduling Special Interest Group (PlanSIG 2010), 2010.
|
| Dalibor Klusacek and Hana Rudová,
Handling Inaccurate Runtime Estimates by Event-based Optimization (abstract). In
Cracow Grid Workshop 2010 Abstracts (CGW'10), Cracow, Poland, 2010.
|
| Pavel Troubil and Hana Rudová.
Integer Programming for Media Streams Planning Problem.
In Proceedings of Sixth Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science (MEMICS
2010), pages 175-183, 2010. Selected for publications in OASIcs
proceedings.
|
| Dalibor Klusacek, Hana Rudová and Miroslava Plachá.
Experiments with Job Scheduling in MetaCentrum.
In MetaCentrum Yearbook 2009, pages 65-69. Praha, CESNET, 2010.
|
| Tomáš Müller, Keith Murray and Hana Rudová,
System Demonstration of Interactive Course Timetabling.
In Proccedings of the 8th International Conference on the Practice and Theory of
Automated Timetabling (PATAT 2010), pages
573-577. Queen's University Belfast, 2010.
|
| Dalibor Klusacek and Hana Rudová, The importance of complete data
sets for job scheduling simulations. In Job Scheduling Strategies for
Parallel Processing, pages 132-153. Heidelberg, Springer, Lecture Notes in Computer Science
6253, 2010.
Original version will available at www.springerlink.com, pre-print |
| Dalibor Klusacek and Hana Rudová, The importance of complete data
sets for job scheduling simulations. In Proceedings of the 15th Workshop
on Job Scheduling Strategies for Parallel Processing
(JSSPP), 2010.
|
| Dalibor Klusacek and Hana Rudová,
Alea 2 - Job Scheduling Simulator.
In 3rd International ICST Conference on Simulation Tools and Techniques
(SIMUTools 2010), ICST, 2010.
|
| Hana Rudová, Tomáš Müller and Keith Murray,
Rozvrhování predmetu pro univerzitu (prezentace projektu).
Znalosti 2010, pages
305-308. Jindrichuv
Hradec, Vysoká škola ekonomická v Praze,
Nakladatelství Oeconomica, 2010.
|
| Dalibor Klusacek and Hana Rudová,
Complex Real-life Data Sets in Grid Simulations (abstract). In
Cracow Grid Workshop 2009 Abstracts (CGW'09), Cracow, Poland, 2009.
PDF, slides |
| Tomáš Müller, Hana Rudová and Keith Murray,
Interactive Course Timetabling (extended abstract).
Proceedings of the 4th Multidisciplinary International Scheduling
Conference (MISTA 2009),
pages 732-736. 2009 PDF, slides |
| Edmund K. Burke, Jakub Marecek, Andrew J. Parkes and Hana Rudová,
A Branch-and-Cut Procedure for the Udine Course Timetabling
Problem. In PATAT 2008 - The 7th International Conference on the Practice
and Theory of Automated Timetabling, 2008.
pre-print (PDF) |
| Dalibor Klusacek, Hana Rudová, Ranieri Baraglia, Marco Pasquali,
and Gabriele Capannini,
Comparison of multi-criteria scheduling techniques.
In Grid Computing Achievements and Prospects, pages 173-184.
Springer CoreGRID series, 2008.
Original puplication at www.springerlink.com, pre-print (PDF) |
| Dalibor Klusacek, Hana Rudová, Ranieri Baraglia, Marco Pasquali,
and Gabriele Capannini,
Comparison of multi-criteria scheduling techniques. In
Integrated Research in Grid Computing -
CoreGRID
Integration Workshop, pages 153-164, Heraklion, Crete University Press,
2008.
|
| Dalibor Klusacek and Hana Rudová,
Improving QoS in Computational Grids through Schedule-based Approach.
In Scheduling and Planning Applications Workshop (SPARK 2008) at the International
Conference on Automated Planning and Scheduling (ICAPS). Sydney, 2008.
|
| Dalibor Klusacek, Ludek Matyska, and Hana Rudová,
Alea -- Grid Scheduling Simulation Environment.
In the Parallel Processing and Applied
Mathematics (PPAM 2007)
Springer-Verlag LNCS 4967, pages 1029-1038, 2008.
|
| Edmund K. Burke, Jakub Marecek, Andrew J. Parkes and Hana Rudová,
Penalising Patterns in Timetables: Novel Integer Programming Formulations.
In the Operations Research Proceedings 2007,
series Operations Research Proceedings, volume 2007, pages 409-414. ISSN
0721-5924. Springer, 2008.
SpringerLink, pre-print (PDF) |
| Miroslav Ruda and Hana Rudová,
Grid Simulator with Production Scheduling Algorithms (abstract).
In the Cracow Grid Workshop 2007 (CGW'07).
|
| Dalibor Klusacek, Ludek Matyska and Hana Rudová,
Local Search for Deadline Driven Grid Scheduling.
In the Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
(MEMICS 2007), 2007.
|
| Dalibor Klusacek, Ludek Matyska, Hana Rudová, Ranieri Baraglia,
and Gabriele Capannini,
Local Search for Grid Scheduling.
In the Doctoral Consortium at the International Conference on
Automated Planning and Scheduling (ICAPS 2007), 2007.
|
|
Keith Murray, Tomáš Müller, and Hana Rudová,
Modeling and Solution of a Complex University Course Timetabling Problem.
Practice and Theory of Automated Timetabling VI, Selected
Revised Papers, pages 189-209.
Springer-Verlag LNCS 3867, 2007.
|
| Edmund K. Burke, Jakub Marecek, and Hana Rudová,
Strengthened Integer Programming Formulation of Constraints Counting Matches of Patterns in
Timetables
(abstract). In Operations Research in the Service Industry
(GOR), pages 169-170. Saarbrücken,
Gesellschaft für Operations Research, 2007.
|
| Edmund K. Burke, Jakub Marecek, and Hana Rudová,
Variability of Integer Programming Models of Course Timetabling
(abstract). 22nd European Conference on Operational Research
(EURO XXII), 2007.
|
| Dalibor Klusacek, Ludek Matyska, and Hana Rudová,
Problematika plánování úloh v prostředí Gridu.
In Širokopásmové sítě a jejich aplikace, pages 55-59.
Univerzita Palackého v Olomouci, 2007.
|
|
Tomáš Černý, Hana Rudová, Scheduling with Soft CLP(FD) Solver.
In PATAT 2006 - Proceedings of The 6th
International Conference on the Practice and Theory of Automated Timetabling,
pages 381-383, 2006.
|
| Miroslav Ruda, Hana Rudová,
Grid Scheduling and Monitoring (short paper).
In 4th Annual Workshop of the UK Planning and Scheduling Special
Interest Group
(PLANSIG 2005),
pages 98-99, 2005.
|
| Tomáš Müller, Hana Rudová,
Roman Barták,
Minimal Perturbation Problem in Course Timetabling .
In Edmund Burke and Michael Trick (eds.) Practice and Theory of
Automated Timetabling, Selected Revised Papers, Springer-Verlag LNCS
3616, pages 126-146, 2005.
|
| Hana Rudová, Miroslav Vlk,
Multi-Criteria Soft Constraints in Timetabling (extended
abstract). In
G.Kendall, L.Lei, M.Pinedo (eds.) Proceedings of the 2nd
Multidisciplinary International Conference on Scheduling
(MISTA 2005), pages 11-15,
2005.
|
| Pavel Fibich,
Ludek Matyska,
Hana Rudová,
Model of Grid Scheduling Problem.
Exploring Planning and Scheduling for Web Services, Grid and Autonomic
Computing, Papers from the
AAAI-05
workshop. Technical Report WS-05-03, AAAI Press, 2005.
|
| Roman
Barták, Hana Rudová,
Limited Assignments: A New Cutoff Strategy for
Incomplete Depth-First Search. In Proceedings of the 20th Annual ACM
Symposium on Applied Computing, pages 388-392, ACM, 2005.
|
| Tomáš Müller, Roman
Barták, Hana Rudová,
Conflict-based Statistics. In EU/ME
Workshop
on Design and Evaluation of Advanced Hybrid Meta-Heuristics, 2004.
|
| Tomáš Müller, Roman
Barták, Hana Rudová,
Iterative Forward Search: Combining Local Search with Maintaining Arc
Consistency and a Conflict-based Statistics. In
LSCS'04 - International Workshop on Local Search Techniques in
Constraint Satisfaction. 2004.
|
| Tomáš Müller, Hana Rudová,
Minimal Perturbation Problem in Course Timetabling. In
PATAT 2004 - Proceedings of the 5th international conference on the
Practice And Theory of Automated Timetabling,
pages 283-303, 2004.
|
| Roman Barták,
Tomáš Müller, Hana Rudová, A New Approach to Modeling and Solving Minimal
Perturbation Problems. 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. |
| Hana Rudová,
Keith Murray,
University Course Timetabling with Soft Constraints.
Practice And Theory of Automated Timetabling, Selected Revised Papers.
Springer-Verlag LNCS 2740, pages 310-328, 2003.
PostScript |
|
Hana Rudová, Soft CLP(FD).
In Susan Haller and Ingrid Russell, editors,
FLAIRS '03,
Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth
International FLAIRS Conference.
AAAI Press, pages
202-206, 2003. PostScript, PDF |
| Roman Barták,
Tomáš Müller, Hana Rudová, A New Labeling Algorithm to Solve Minimal Perturbation
Problems: A Preliminary Report.
In Proceedings of the 22nd workshop of the UK
Planning and Scheduling Special Interest Group (PlanSIG), 2003. |
| Roman Barták,
Tomáš Müller, Hana Rudová, Minimal Perturbation Problem
- A Formal View. 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. |
| Kamil Vermirovsky,
Hana Rudová, Limited Assignment Number Search Algorithm.
In Maria Bielikova, editor, SOFSEM 2002
Student Research Forum, pages 53-58, 2002.
(SOFSEM'2002), 2002. PostScript, PDF |
| Hana Rudová,
Keith Murray,
University Course Timetabling with Soft Constraints.
Proceedings of the 4th international conference on the Practice And
Theory of Automated
Timetabling (PATAT'2002),
pages 73-89, 2002.
PostScript, PDF |
| Roman Barták,
Hana Rudová,
Integrated Modelling for Planning, Scheduling, and Timetabling
Problems . In Proceedings of the Twentieth Workshop of the UK
Planning and Scheduling Special Interest Group (PLANSIG 2001).
Edinburgh (UK) : Old College, University of Edinburgh, 2001, pages 19-31.
|
| Hana Rudová,
Soft Scheduling.
In Krzysztof R. Apt, Roman Barták, Eric Monfroy, Francesca Rossi,
editors,
Proceedings of the 2001
ERCIM Workshop
on Constraints. Prague, Czech Republic, June 2001. CoRR link, PostScript, Abstract, BibTeX. |
| Hana Rudová,
Constraint Satisfaction with Preferences .
Ph.D. thesis, Faculty of Informatics, Masaryk University, 2001. |
| Hana Rudová,
Ludek Matyska.
Constraint-based timetabling with student schedules. In Edmund
Burke and Wilhelm Erben, editors,
PATAT 2000
-- Proceedings of the 3rd international conference on the Practice And
Theory of Automated Timetabling, pages 109-123. Constanz, Germany,
August 2000. PostScript, Abstract, BibTeX. |
| Hana Rudová,
Ludek Matyska.
Timetabling with annotations.
Technical Report FIMU-RS-99-09, 17 pages. Faculty of Informatics, Masaryk
University, December 1999. PostScript, PDF, Abstract, BibTeX. |
| Hana Rudová,
Ludek Matyska.
Uniform framework for solving over-constrained and optimization
problems. In CP'99 Post-Conference
Workshop on
Modelling and Solving Soft Constraints,
Alexandria, Virginia, USA, October 1999. PostScript, Abstract, BibTeX. |
| Hana Rudová.
Over-constrained systems.
In Proceedings Sixteenth National Conference on Artificial Intelligence
(AAAI-99) / Eleventh Innovative Applications of Artificial Intelligence
Conference (IAAI-99), Orlando, Florida, USA, page 954. AAAI Press/The MIT Press, July 1999.
Presented in 1999 SIGART/AAAI Doctoral Consortium. See for PostScript, BibTeX. |
| Hana Rudová.
Constraint programming on ECAI-98 -- student's view.
Selected for publication in
AI Communications,
11 (3,4), pages 225-228, IOS Press 1998
and in
The Newsletter of the European Network in Computational Logic,
December 1998. Conference report. See for article. |
| Hana Rudová.
Constraints with variables' annotations and constraint hierarchies.
In Branislav Rovan, editor,
SOFSEM'98:
Theory and Practice of Informatics, Jasna, Slovakia, pages 409-418.
Springer-Verlag LNCS
1521, November 1998. Abstract, BibTeX. |
| Hana Rudová.
Constraints with variables' annotations.
In Henri Prade, editor,
13th European Conference on Artificial Intelligence Proceedings
(ECAI-98),
Brighton, UK, pages 261-262. John Wiley & Sons, Ltd., August 1998. Abstract, BibTeX. See for extended version in PostScript. |
| Hana Rudová.
Constraints with variables' annotations.
Technical Report FIMU-RS-98-04, 14 pages.
Faculty of Informatics, Masaryk University, May 1998. This is an extended version of the paper accepted for presentation at ECAI-98. PostScript, PDF, Abstract, BibTeX. |
Presentations and
Courses
| Hana Rudová.
Constraint Programming and Scheduling.
10 hours course taught at taught at Hochschule Konstanz,
Technik, Wirtschaft,und Gestaltung. Konstanz, Germany, May 2009.
URL |
| Hana Rudová.
Dynamic Scheduling.
Presentation at the
seminar,
Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle
Ricerche, Pisa, Italy, June, 2008.
|
| Hana Rudová.
Constraint-based Scheduling.
4 hours course taught at the School of Computer Science, University of
Nottingham, November, 2007.
PDF, PDF for print |
| Hana Rudová.
Dynamické rozvrhování.
Presentation at the
Informatics Colloquium,
Faculty of Informatics, Masaryk University, October 2007.
PDF (in Czech) |
| Hana Rudová.
Constraint Programming for Timetabling.
Presentation in Group Seminar of
Automated Scheduling, Optimisation and Planning (ASAP),
School of Computer Science & IT, University of Nottingham, November 2004.
|
| Hana Rudová.
Timetabling problem at the Faculty of Informatics.
Presentation in
Seminar on Informatics ,
Faculty of Informatics, Masaryk University, March 2000. |
| Hana Rudová,
Ludek Matyska.
Uniform framework for solving over-constrained and optimization
problems.
Presentation in Student Session of
International Summer School on Constraints in Computational Logics,
Gif-sur-Yvette, France, September 1999. |
| Hana Rudová.
Timetabling with constraints.
Presentation in
Seminar on Informatics ,
Faculty of Informatics, Masaryk University, May 1999. |
| Hana Rudová.
Constraints with variables' annotations.
Presentation in Seminar on Informatics,
Faculty of Informatics, Masaryk University, April 1998. slides |
Bookmarks
Bibliography
| Constraint programming BibTeX, Post Script |
| Constraint-based Timetabling BibTeX, Post Script |