An integer programming based approach for verification and diagnosis of workflows.
Rik EshuisAkhil KumarPublished in: Data Knowl. Eng. (2010)
Keyphrases
- integer programming
- grid workflow
- np hard
- linear programming
- production planning
- set covering problem
- lagrangian relaxation
- column generation
- cutting plane
- set covering
- constraint programming
- fault diagnosis
- web services
- valid inequalities
- network flow
- ai planning
- model based diagnosis
- integer program
- data processing
- model checking
- cutting plane algorithm
- inference problems
- set partitioning
- dantzig wolfe decomposition
- vehicle routing problem with time windows
- facility location
- linear programming relaxation
- transportation problem
- business processes
- crew scheduling
- special case
- evolutionary algorithm