Includes supplementary material: sn.pub/extras
Susanne Biundo
AI Planning Constraint-Based Planning Intelligent Planning Load Balancing Plan Execution Plan Generation Plan Reuse Recursive Planning Resource Scheduling Timetabling artificial intelligence model checking scheduling algorithm analysis and problem complexity