Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic | IEEE Conference Publication | IEEE Xplore