. . . "Pl\u00E1nov\u00E1n\u00ED a rozvrhov\u00E1n\u00ED s omezuj\u00EDc\u00EDmi podm\u00EDnkami" . . "Recent development of the global market, on-demand production of highly customised products, e-commerce applications, and semi- or fully-autonomous production lines and vehicles demands sophisticated integrated optimisation tools for solving planning andscheduling problems. Integration of various solving and knowledge engineering techniques is one of the key issues in these areas. The aim of the proposed project is to study the entire process of planning and scheduling starting from the modelling stage and concluding in the solving stage. In particular, we plan to propose new modelling techniques and new methods supporting knowledge engineering. These techniques should help the users to formulate the planning and scheduling problems and they should assist the automated solvers to find the solution effectively. We also plan to design new solving techniques including advanced search algorithms and domain filtering within a constraint programming context. In particular, we propose a way how to"@en . . . . . "0"^^ . . "Projekt se zab\u00FDval modelov\u00E1n\u00EDm a \u0159e\u0161en\u00EDm probl\u00E9m\u016F na pomez\u00ED pl\u00E1nov\u00E1n\u00ED a rozvrhov\u00E1n\u00ED. Navrhli jsme nov\u00E9 form\u00E1ln\u00ED modely pro kombinaci tempor\u00E1ln\u00EDch a logick\u00FDch podm\u00EDnek, kter\u00E9 se hod\u00ED pro popis probl\u00E9m\u016F s\u00A0r\u016Fzn\u00FDmi alternativami (alternativn\u00ED zdroje, alterna"@cs . . . . . . . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/04/1102"^^ . . . "1"^^ . "Neuvedeno."@en . "The project dealt with modelling and solving complex problems on the border of planning and scheduling. We proposed new formal\u00A0models for combination of temporal and logical constraints that are appropriate for description of problems with various altern"@en . . . "Sou\u010Dasn\u00FD rozvoj glob\u00E1ln\u00EDch trh\u016F, produkce v\u00FDrobk\u016F na m\u00EDru, aplikace e-komerce a rozvoj polo- \u010Di pln\u011B automatick\u00FDch v\u00FDrobn\u00EDch linek a dopravn\u00EDch prost\u0159edk\u016F vy\u017Eaduje integrovan\u00E9 sofistikovan\u00E9 optimaliza\u010Dn\u00ED n\u00E1stroje pro \u0159e\u0161en\u00ED pl\u00E1novac\u00EDch a rozvrhovac\u00EDch probl\u00E9m\u016F. Jedn\u00EDm z kl\u00ED\u010Dov\u00FDch trend\u016F p\u0159i jejich rozvoji je integrace r\u016Fzn\u00FDch \u0159e\u0161\u00EDc\u00EDch technik. C\u00EDlem navrhovan\u00E9ho projektu je studium cel\u00E9ho procesu pl\u00E1nov\u00E1n\u00ED a rozvrhov\u00E1n\u00ED po\u010D\u00EDnaje f\u00E1z\u00ED modelov\u00E1n\u00ED a kon\u010De vlastn\u00EDm \u0159e\u0161en\u00EDm probl\u00E9m\u016F. Konkr\u00E9tn\u011B pl\u00E1nujeme navrhnout nov\u00E9 techniky modelov\u00E1n\u00ED probl\u00E9m\u016F a nov\u00E9 techniky pr\u00E1ce se znalostmi. Tyto techniky by m\u011Bly u\u017Eivatel\u016Fm usnadnit formulaci pl\u00E1novac\u00EDch a rozvrhovac\u00EDch probl\u00E9m\u016F a z\u00E1rove\u0148 by m\u011Bly asistovat \u0159e\u0161\u00EDc\u00EDm algoritm\u016Fm p\u0159i efektivn\u011Bj\u0161\u00EDm hled\u00E1n\u00ED \u0159e\u0161en\u00ED. D\u00E1lepl\u00E1nujeme navrhnout nov\u00E9 \u0159e\u0161\u00EDc\u00ED techniky jak v oblasti prohled\u00E1vac\u00EDch tak i filtra\u010Dn\u00EDch algoritm\u016F v kontextu spl\u0148ov\u00E1n\u00ED omezuj\u00EDc\u00EDch podm\u00EDnek. Konkr\u00E9tn\u011B se chceme zab\u00FDvat integrac\u00ED technik opera\u010Dn\u00EDho v\u00FDzkumu a diskr\u00E9tn\u00ED matematiky do syst\u00E9m\u016F s omezuj\u00EDc\u00EDmi" . "GA201/04/1102" . "Constraint-based planning and scheduling"@en . "43"^^ . "0"^^ . "2007-10-16+02:00"^^ . "43"^^ . .