Publication Records

LÍŠKA, Martin. Evaluation of Mathematics Retrieval. školitel diplomové práce. Brno: Masarykova univerzita, 2013, 63 pp.

TOMÁŠ, Müller, Hana RUDOVÁ and Keith MURRAY. Interactive Course Timetabling. In MISTA 2009 - Proceedings of the 4th Multidisciplinary International Conference on Scheduling: Theory and Applications. 2009.

BARTÁK, Roman and Hana RUDOVÁ. Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search. In Proceedings of the 2005 ACM symposium on Applied computing. New York, NY, USA: ACM Press, 2005, p. 288-292. ISBN 1-58113-964-0.

BARTÁK, Roman, Tomáš MÜLLER and Hana RUDOVÁ. A New Approach to Modeling and Solving Minimal Perturbation Problems. In Recent Advances in Constraints. Berlin Heidelberg (Germany): Springer, 2004, p. 233-249. ISBN 3-540-21834-3.

BARTÁK, Roman, Tomáš MÜLLER and 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). Glasgow (United Kingdom): University of Strathclyde, 2003, p. 1-11. ISSN 1368-5708.