Crop planning optimization model: the validation and verification processes.
Jitka JanováPublished in: Central Eur. J. Oper. Res. (2012)
Keyphrases
- optimization model
- optimization process
- network flow
- construction project
- model checking
- crew scheduling
- neural network
- planning process
- goal oriented
- planning problems
- process model
- domain independent
- planning systems
- artificial intelligence
- motion planning
- ai planning
- formal methods
- heuristic search
- blocks world
- sensor placement
- information systems