Scheduling of Mobile Robots Using Constraint Programming. - Stanislav Murín; Hana Rudová (CP, 2019)