BibTeX records: Hana Rudová

download as .bib file

@inproceedings{DBLP:conf/evoW/SassmannRGS23,
  author       = {Vojtech Sassmann and
                  Hana Rudov{\'{a}} and
                  Michal Gabonnay and
                  V{\'{a}}clav Sobotka},
  editor       = {Leslie P{\'{e}}rez C{\'{a}}ceres and
                  Thomas St{\"{u}}tzle},
  title        = {Real-World Vehicle Routing Using Adaptive Large Neighborhood Search},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization - 23rd European
                  Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech
                  Republic, April 12-14, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13987},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30035-6\_3},
  doi          = {10.1007/978-3-031-30035-6\_3},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/SassmannRGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SobotkaR23,
  author       = {V{\'{a}}clav Sobotka and
                  Hana Rudov{\'{a}}},
  editor       = {Roman Bart{\'{a}}k and
                  Wheeler Ruml and
                  Oren Salzman},
  title        = {Real-World Pickup and Delivery Problem with Transfers},
  booktitle    = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
                  2023, July 14-16, 2023, Prague, Czech Republic},
  pages        = {83--91},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/socs.v16i1.27286},
  doi          = {10.1609/SOCS.V16I1.27286},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SobotkaR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/DangNR19,
  author       = {Quang{-}Vinh Dang and
                  Cong Thanh Nguyen and
                  Hana Rudov{\'{a}}},
  title        = {Scheduling of mobile robots for transportation and manufacturing tasks},
  journal      = {J. Heuristics},
  volume       = {25},
  number       = {2},
  pages        = {175--213},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10732-018-9391-z},
  doi          = {10.1007/S10732-018-9391-Z},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/heuristics/DangNR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MurinR19,
  author       = {Stanislav Mur{\'{\i}}n and
                  Hana Rudov{\'{a}}},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Scheduling of Mobile Robots Using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {456--471},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_27},
  doi          = {10.1007/978-3-030-30048-7\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MurinR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/0002RN19,
  author       = {Quang{-}Vinh Dang and
                  Hana Rudov{\'{a}} and
                  Cong Thanh Nguyen},
  editor       = {Anne Auger and
                  Thomas St{\"{u}}tzle},
  title        = {Adaptive large neighborhood search for scheduling of mobile robots},
  booktitle    = {Proceedings of the Genetic and Evolutionary Computation Conference,
                  {GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
  pages        = {224--232},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3321707.3321764},
  doi          = {10.1145/3321707.3321764},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gecco/0002RN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/MakatunLR18,
  author       = {Dzmitry Makatun and
                  J{\'{e}}r{\^{o}}me Lauret and
                  Hana Rudov{\'{a}}},
  title        = {Planning of distributed data production for High Energy and Nuclear
                  Physics},
  journal      = {Clust. Comput.},
  volume       = {21},
  number       = {4},
  pages        = {1949--1965},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10586-018-2834-3},
  doi          = {10.1007/S10586-018-2834-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cluster/MakatunLR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/TroubilRH18,
  author       = {Pavel Troubil and
                  Hana Rudov{\'{a}} and
                  Petr Holub},
  title        = {Dynamic reconfiguration in multigroup multicast routing under uncertainty},
  journal      = {J. Heuristics},
  volume       = {24},
  number       = {3},
  pages        = {395--423},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10732-017-9339-8},
  doi          = {10.1007/S10732-017-9339-8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/heuristics/TroubilRH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/DangR18,
  author       = {Quang{-}Vinh Dang and
                  Hana Rudov{\'{a}}},
  title        = {Enhanced Scheduling for Real-Time Traffic Control},
  booktitle    = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2018,
                  Bangalore, India, November 18-21, 2018},
  pages        = {578--585},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/SSCI.2018.8628731},
  doi          = {10.1109/SSCI.2018.8628731},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssci/DangR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/MullerR16,
  author       = {Tom{\'{a}}s M{\"{u}}ller and
                  Hana Rudov{\'{a}}},
  title        = {Real-life curriculum-based timetabling with elective courses and course
                  sections},
  journal      = {Ann. Oper. Res.},
  volume       = {239},
  number       = {1},
  pages        = {153--170},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10479-014-1643-1},
  doi          = {10.1007/S10479-014-1643-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/anor/MullerR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/MakatunLRS16,
  author       = {Dzmitry Makatun and
                  J{\'{e}}r{\^{o}}me Lauret and
                  Hana Rudov{\'{a}} and
                  Michal Sumbera},
  title        = {Network flows for data distribution and computation},
  booktitle    = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2016, Athens, Greece, December 6-9, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SSCI.2016.7850083},
  doi          = {10.1109/SSCI.2016.7850083},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ssci/MakatunLRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/KlusacekCR15,
  author       = {Dalibor Klus{\'{a}}cek and
                  Vaclav Chlumsky and
                  Hana Rudov{\'{a}}},
  editor       = {Thilo Kielmann and
                  Dean Hildebrand and
                  Michela Taufer},
  title        = {Planning and Optimization in {TORQUE} Resource Manager},
  booktitle    = {Proceedings of the 24th International Symposium on High-Performance
                  Parallel and Distributed Computing, {HPDC} 2015, Portland, OR, USA,
                  June 15-19, 2015},
  pages        = {203--206},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2749246.2749266},
  doi          = {10.1145/2749246.2749266},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hpdc/KlusacekCR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/KlusacekR15,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {Yacine Laalaoui and
                  Nizar Bouguila},
  title        = {A Metaheuristic for Optimizing the Performance and the Fairness in
                  Job Scheduling Systems},
  booktitle    = {Artificial Intelligence Applications in Information and Communication
                  Technologies},
  series       = {Studies in Computational Intelligence},
  volume       = {607},
  pages        = {3--29},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19833-0\_1},
  doi          = {10.1007/978-3-319-19833-0\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/KlusacekR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsspp/KlusacekR14,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {Walfredo Cirne and
                  Narayan Desai},
  title        = {Multi-resource Aware Fairsharing for Heterogeneous Systems},
  booktitle    = {Job Scheduling Strategies for Parallel Processing - 18th International
                  Workshop, {JSSPP} 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8828},
  pages        = {53--69},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15789-4\_4},
  doi          = {10.1007/978-3-319-15789-4\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jsspp/KlusacekR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MarekRH14,
  author       = {Jiri Marek and
                  Hana Rudov{\'{a}} and
                  Petr Holub},
  title        = {Local Search Heuristics for Media Streams Planning with Transcoding},
  booktitle    = {2014 {IEEE} 13th International Symposium on Network Computing and
                  Applications, {NCA} 2014, Cambridge, MA, USA, 21-23 August, 2014},
  pages        = {167--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/NCA.2014.32},
  doi          = {10.1109/NCA.2014.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/MarekRH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/TroubilRH14,
  author       = {Pavel Troubil and
                  Hana Rudov{\'{a}} and
                  Petr Holub},
  title        = {Media Streams Planning with Uncertain Link Capacities},
  booktitle    = {2014 {IEEE} 13th International Symposium on Network Computing and
                  Applications, {NCA} 2014, Cambridge, MA, USA, 21-23 August, 2014},
  pages        = {197--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/NCA.2014.37},
  doi          = {10.1109/NCA.2014.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/TroubilRH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MarekHR13,
  author       = {Jiri Marek and
                  Petr Holub and
                  Hana Rudov{\'{a}}},
  editor       = {Leonard Barolli and
                  Fatos Xhafa and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Hui{-}Huang Hsu},
  title        = {Local Search Heuristics for Media Streams Planning Problem},
  booktitle    = {27th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2013, Barcelona, Spain, March 25-28, 2013},
  pages        = {945--953},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/AINA.2013.132},
  doi          = {10.1109/AINA.2013.132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/MarekHR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsspp/KlusacekRJ13,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}} and
                  Michal Jaros},
  editor       = {Narayan Desai and
                  Walfredo Cirne},
  title        = {Multi Resource Fairness: Problems and Challenges},
  booktitle    = {Job Scheduling Strategies for Parallel Processing - 17th International
                  Workshop, {JSSPP} 2013, Boston, MA, USA, May 24, 2013 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8429},
  pages        = {81--95},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-662-43779-7\_5},
  doi          = {10.1007/978-3-662-43779-7\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jsspp/KlusacekRJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/TroubilRH13,
  author       = {Pavel Troubil and
                  Hana Rudov{\'{a}} and
                  Petr Holub},
  title        = {Media Streams Planning with Transcoding},
  booktitle    = {2013 {IEEE} 12th International Symposium on Network Computing and
                  Applications, Cambridge, MA, USA, August 22-24, 2013},
  pages        = {41--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/NCA.2013.46},
  doi          = {10.1109/NCA.2013.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/TroubilRH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BurkeMPR12,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  title        = {A branch-and-cut procedure for the Udine Course Timetabling problem},
  journal      = {Ann. Oper. Res.},
  volume       = {194},
  number       = {1},
  pages        = {71--87},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10479-010-0828-5},
  doi          = {10.1007/S10479-010-0828-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/anor/BurkeMPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsspp/KlusacekR12,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {Walfredo Cirne and
                  Narayan Desai and
                  Eitan Frachtenberg and
                  Uwe Schwiegelshohn},
  title        = {Performance and Fairness for Users in Parallel Job Scheduling},
  booktitle    = {Job Scheduling Strategies for Parallel Processing, 16th International
                  Workshop, {JSSPP} 2012, Shanghai, China, May 25, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7698},
  pages        = {235--252},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35867-8\_13},
  doi          = {10.1007/978-3-642-35867-8\_13},
  timestamp    = {Fri, 27 Mar 2020 08:52:35 +0100},
  biburl       = {https://dblp.org/rec/conf/jsspp/KlusacekR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/KlusacekR11,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  title        = {Efficient grid scheduling through the incremental schedule-based approach},
  journal      = {Comput. Intell.},
  volume       = {27},
  number       = {1},
  pages        = {4--22},
  year         = {2011},
  url          = {https://doi.org/10.1111/j.1467-8640.2010.00369.x},
  doi          = {10.1111/J.1467-8640.2010.00369.X},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ci/KlusacekR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HolubRL11,
  author       = {Petr Holub and
                  Hana Rudov{\'{a}} and
                  Milos Liska},
  title        = {Data transfer planning with tree placement for collaborative environments},
  journal      = {Constraints An Int. J.},
  volume       = {16},
  number       = {3},
  pages        = {283--316},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10601-011-9106-7},
  doi          = {10.1007/S10601-011-9106-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/HolubRL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/RudovaMM11,
  author       = {Hana Rudov{\'{a}} and
                  Tom{\'{a}}s M{\"{u}}ller and
                  Keith S. Murray},
  title        = {Complex university course timetabling},
  journal      = {J. Sched.},
  volume       = {14},
  number       = {2},
  pages        = {187--207},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10951-010-0171-3},
  doi          = {10.1007/S10951-010-0171-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scheduling/RudovaMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/KlusacekR11,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {Zdenek Kot{\'{a}}sek and
                  Jan Bouda and
                  Ivana Cern{\'{a}} and
                  Luk{\'{a}}s Sekanina and
                  Tom{\'{a}}s Vojnar and
                  David Antos},
  title        = {Efficient Data Representation of Large Job Schedules},
  booktitle    = {Mathematical and Engineering Methods in Computer Science - 7th International
                  Doctoral Workshop, {MEMICS} 2011, Lednice, Czech Republic, October
                  14-16, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7119},
  pages        = {103--113},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25929-6\_10},
  doi          = {10.1007/978-3-642-25929-6\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/KlusacekR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BurkeMPR10,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  title        = {A supernodal formulation of vertex colouring with applications in
                  course timetabling},
  journal      = {Ann. Oper. Res.},
  volume       = {179},
  number       = {1},
  pages        = {105--130},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10479-010-0716-z},
  doi          = {10.1007/S10479-010-0716-Z},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/anor/BurkeMPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/BurkeMPR10,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  title        = {Decomposition, reformulation, and diving in university course timetabling},
  journal      = {Comput. Oper. Res.},
  volume       = {37},
  number       = {3},
  pages        = {582--597},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.cor.2009.02.023},
  doi          = {10.1016/J.COR.2009.02.023},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cor/BurkeMPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/BartakR10,
  author       = {Roman Bart{\'{a}}k and
                  Hana Rudov{\'{a}}},
  title        = {Special issue on applications and methodologies for planning and scheduling:
                  editorial},
  journal      = {J. Sched.},
  volume       = {13},
  number       = {4},
  pages        = {299--300},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10951-010-0187-8},
  doi          = {10.1007/S10951-010-0187-8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scheduling/BartakR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jsspp/KlusacekR10,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {Eitan Frachtenberg and
                  Uwe Schwiegelshohn},
  title        = {The Importance of Complete Data Sets for Job Scheduling Simulations},
  booktitle    = {Job Scheduling Strategies for Parallel Processing - 15th International
                  Workshop, {JSSPP} 2010, Atlanta, GA, USA, April 23, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6253},
  pages        = {132--153},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16505-4\_8},
  doi          = {10.1007/978-3-642-16505-4\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jsspp/KlusacekR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/TroubilR10,
  author       = {Pavel Troubil and
                  Hana Rudov{\'{a}}},
  editor       = {Ludek Matyska and
                  Michal Kozubek and
                  Tom{\'{a}}s Vojnar and
                  Pavel Zemc{\'{\i}}k and
                  David Antos},
  title        = {Integer Programming for Media Streams Planning Problem},
  booktitle    = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
                  Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
                  Mikulov, Czech Republic},
  series       = {OASIcs},
  volume       = {16},
  pages        = {116--123},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.MEMICS.2010.116},
  doi          = {10.4230/OASICS.MEMICS.2010.116},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memics/TroubilR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/KlusacekR10,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}}},
  editor       = {L. Felipe Perrone and
                  Giovanni Stea and
                  Jason Liu and
                  Adelinde M. Uhrmacher and
                  Manuel Vill{\'{e}}n{-}Altamirano},
  title        = {Alea 2: job scheduling simulator},
  booktitle    = {3rd International Conference on Simulation Tools and Techniques, SIMUTools
                  '10, Malaga, Spain - March 16 - 18, 2010},
  pages        = {61},
  publisher    = {{ICST/ACM}},
  year         = {2010},
  url          = {https://doi.org/10.4108/ICST.SIMUTOOLS2010.8722},
  doi          = {10.4108/ICST.SIMUTOOLS2010.8722},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/simutools/KlusacekR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-1095,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  title        = {Decomposition, Reformulation, and Diving in University Course Timetabling},
  journal      = {CoRR},
  volume       = {abs/0903.1095},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.1095},
  eprinttype    = {arXiv},
  eprint       = {0903.1095},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-1095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/KlusacekRBPC08,
  author       = {Dalibor Klus{\'{a}}cek and
                  Hana Rudov{\'{a}} and
                  Ranieri Baraglia and
                  Marco Pasquali and
                  Gabriele Capannini},
  editor       = {Sergei Gorlatch and
                  Paraskevi Fragopoulou and
                  Thierry Priol},
  title        = {Comparison Of Multi-Criteria Scheduling Techniques},
  booktitle    = {Grid Computing - Achievements and Prospects: CoreGRID Integration
                  Workshop 2008, Hersonissos, Crete, Greece, April 2-4, 2008},
  pages        = {173--184},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09457-1\_15},
  doi          = {10.1007/978-0-387-09457-1\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coregrid/KlusacekRBPC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/BurkeMPR07,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  editor       = {J{\"{o}}rg Kalcsics and
                  Stefan Nickel},
  title        = {Penalising Patterns in Timetables: Novel Integer Programming Formulations},
  booktitle    = {Operations Research, Proceedings 2007, Selected Papers of the Annual
                  International Conference of the German Operations Research Society
                  (GOR), Saarbr{\"{u}}cken, Germany, September 5-7, 2007},
  series       = {Operations Research Proceedings},
  pages        = {409--414},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77903-2\_63},
  doi          = {10.1007/978-3-540-77903-2\_63},
  timestamp    = {Fri, 28 Jun 2019 11:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/or/BurkeMPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/KlusacekMR07,
  author       = {Dalibor Klus{\'{a}}cek and
                  Ludek Matyska and
                  Hana Rudov{\'{a}}},
  editor       = {Roman Wyrzykowski and
                  Jack J. Dongarra and
                  Konrad Karczewski and
                  Jerzy Wasniewski},
  title        = {Alea - Grid Scheduling Simulation Environment},
  booktitle    = {Parallel Processing and Applied Mathematics, 7th International Conference,
                  {PPAM} 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4967},
  pages        = {1029--1038},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-68111-3\_109},
  doi          = {10.1007/978-3-540-68111-3\_109},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppam/KlusacekMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/patat/2006,
  editor       = {Edmund K. Burke and
                  Hana Rudov{\'{a}}},
  title        = {Practice and Theory of Automated Timetabling VI, 6th International
                  Conference, {PATAT} 2006, Brno, Czech Republic, August 30 - September
                  1, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3867},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77345-0},
  doi          = {10.1007/978-3-540-77345-0},
  isbn         = {978-3-540-77344-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-3603,
  author       = {Edmund K. Burke and
                  Jakub Marecek and
                  Andrew J. Parkes and
                  Hana Rudov{\'{a}}},
  title        = {On a Clique-Based Integer Programming Formulation of Vertex Colouring
                  with Applications in Course Timetabling},
  journal      = {CoRR},
  volume       = {abs/0710.3603},
  year         = {2007},
  url          = {http://arxiv.org/abs/0710.3603},
  eprinttype    = {arXiv},
  eprint       = {0710.3603},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0710-3603.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/MurrayMR06,
  author       = {Keith S. Murray and
                  Tom{\'{a}}s M{\"{u}}ller and
                  Hana Rudov{\'{a}}},
  editor       = {Edmund K. Burke and
                  Hana Rudov{\'{a}}},
  title        = {Modeling and Solution of a Complex University Course Timetabling Problem},
  booktitle    = {Practice and Theory of Automated Timetabling VI, 6th International
                  Conference, {PATAT} 2006, Brno, Czech Republic, August 30 - September
                  1, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3867},
  pages        = {189--209},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77345-0\_13},
  doi          = {10.1007/978-3-540-77345-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/MurrayMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BartakR05,
  author       = {Roman Bart{\'{a}}k and
                  Hana Rudov{\'{a}}},
  editor       = {Hisham Haddad and
                  Lorie M. Liebrock and
                  Andrea Omicini and
                  Roger L. Wainwright},
  title        = {Limited assignments: a new cutoff strategy for incomplete depth-first
                  search},
  booktitle    = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
                  Santa Fe, New Mexico, USA, March 13-17, 2005},
  pages        = {388--392},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1066677.1066767},
  doi          = {10.1145/1066677.1066767},
  timestamp    = {Tue, 06 Nov 2018 11:06:45 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BartakR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/MullerRB04,
  author       = {Tom{\'{a}}s M{\"{u}}ller and
                  Hana Rudov{\'{a}} and
                  Roman Bart{\'{a}}k},
  editor       = {Edmund K. Burke and
                  Michael A. Trick},
  title        = {Minimal Perturbation Problem in Course Timetabling},
  booktitle    = {Practice and Theory of Automated Timetabling V, 5th International
                  Conference, {PATAT} 2004, Pittsburgh, PA, USA, August 18-20, 2004,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3616},
  pages        = {126--146},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11593577\_8},
  doi          = {10.1007/11593577\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/MullerRB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BartakMR03,
  author       = {Roman Bart{\'{a}}k and
                  Tom{\'{a}}s M{\"{u}}ller and
                  Hana Rudov{\'{a}}},
  editor       = {Krzysztof R. Apt and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi and
                  P{\'{e}}ter Szeredi and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {A New Approach to Modeling and Solving Minimal Perturbation Problems},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3010},
  pages        = {233--249},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24662-6\_13},
  doi          = {10.1007/978-3-540-24662-6\_13},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/BartakMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Rudova03,
  author       = {Hana Rudov{\'{a}}},
  editor       = {Ingrid Russell and
                  Susan M. Haller},
  title        = {Soft {CLP} {(FD)}},
  booktitle    = {Proceedings of the Sixteenth International Florida Artificial Intelligence
                  Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
                  {USA}},
  pages        = {202--207},
  publisher    = {{AAAI} Press},
  year         = {2003},
  url          = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-040.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:31 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/Rudova03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/RudovaM02,
  author       = {Hana Rudov{\'{a}} and
                  Keith S. Murray},
  editor       = {Edmund K. Burke and
                  Patrick De Causmaecker},
  title        = {University Course Timetabling with Soft Constraints},
  booktitle    = {Practice and Theory of Automated Timetabling IV, 4th International
                  Conference, {PATAT} 2002, Gent, Belgium, August 21-23, 2002, Selected
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2740},
  pages        = {310--328},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-45157-0\_21},
  doi          = {10.1007/978-3-540-45157-0\_21},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patat/RudovaM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0106004,
  author       = {Hana Rudov{\'{a}}},
  title        = {Soft Scheduling},
  journal      = {CoRR},
  volume       = {cs.AI/0106004},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0106004},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0106004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Rudova99,
  author       = {Hana Rudov{\'{a}}},
  editor       = {Jim Hendler and
                  Devika Subramanian},
  title        = {Over-Constrained Systems},
  booktitle    = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
                  and Eleventh Conference on Innovative Applications of Artificial Intelligence,
                  July 18-22, 1999, Orlando, Florida, {USA}},
  pages        = {954},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1999},
  url          = {http://www.aaai.org/Library/AAAI/1999/aaai99-162.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Rudova99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Rudova98,
  author       = {Hana Rudov{\'{a}}},
  title        = {Constraint Programming on {ECAI-98} - Student's View},
  journal      = {{AI} Commun.},
  volume       = {11},
  number       = {3-4},
  pages        = {225--228},
  year         = {1998},
  url          = {http://content.iospress.com/articles/ai-communications/aic161},
  timestamp    = {Fri, 15 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/Rudova98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Rudova98,
  author       = {Hana Rudov{\'{a}}},
  editor       = {Henri Prade},
  title        = {Constraints with Variables' Annotations},
  booktitle    = {13th European Conference on Artificial Intelligence, Brighton, UK,
                  August 23-28 1998, Proceedings.},
  pages        = {261--262},
  publisher    = {John Wiley and Sons},
  year         = {1998},
  timestamp    = {Wed, 31 Jul 2019 08:45:03 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Rudova98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Rudova98,
  author       = {Hana Rudov{\'{a}}},
  editor       = {Branislav Rovan},
  title        = {Constraints with Variables' Annotations and Constraint Hierarchies},
  booktitle    = {{SOFSEM} '98: Theory and Practice of Informatics, 25th Conference
                  on Current Trends in Theory and Practice of Informatics, Jasn{\'{a}},
                  Slovakia, November 21-27, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1521},
  pages        = {409--418},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49477-4\_33},
  doi          = {10.1007/3-540-49477-4\_33},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/Rudova98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics