Mobility allowance shuttle transit (MAST) services: MIP formulation and strengthening with logic constraints.
Luca QuadrifoglioMaged M. DessoukyFernando OrdóñezPublished in: Eur. J. Oper. Res. (2008)
Keyphrases
- mixed integer
- mobile networks
- mixed integer programming
- classes of valid inequalities
- ubiquitous computing
- constraint satisfaction
- integer program
- service oriented
- valid inequalities
- location aware
- constraint language
- information services
- service composition
- web services
- classical logic
- mobile phone users
- service discovery
- linear constraints
- context aware
- end users
- mobile applications
- modal logic
- feasible solution
- constraint programming
- mobile agents
- space shuttle
- mobility patterns
- mobile phone
- derivation rules