STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem.
Daniel IzquierdoMaria-Esther VidalBlai BonetPublished in: ISWC (Posters & Demos) (2010)
Keyphrases
- optimal solution
- search space
- objective function
- planning problems
- web services
- stereo reconstruction
- service providers
- np hard
- computer vision
- disparity estimation
- feasible solution
- service oriented
- service quality
- stereo images
- solution quality
- iterative procedure
- total cost
- sat solvers
- information services
- domain specific
- lower bound
- knapsack problem
- branch and bound
- heuristic search
- linear programming