The Role of Different Solvers in Planning and Scheduling Integration.
Federico PecoraAmedeo CestaPublished in: AI*IA (2003)
Keyphrases
- scheduling problem
- sat solving
- scheduling algorithm
- resource allocation
- heuristic search
- production planning
- stochastic domains
- dynamic scheduling
- data integration
- blocks world
- motion planning
- flexible manufacturing systems
- plan generation
- mixed initiative
- resource constraints
- information systems
- decision support
- lower bound
- search algorithm