Seminář: Knowledge Engineering for Planning and Scheduling: From Problems to Solvers and Back

One the current most important problems in planning and scheduling is bringing the existing solving technology to real-life problems (or vice versa). Though there exist many planning and scheduling algorithms, there is still a huge gap between the real-life problems and the solving algorithms. This talk addresses some steps to bridge this gap. Namely the talk covers formal modeling of scheduling problems, verification of the models, their automated transformation to scheduling models appropriate for solvers, and finally visualization and analysis of the resulted schedules. The presentation will be accompanied by a live demo of the FlowOpt system that implements the above-mentioned techniques.