Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability.
Abderrahim Ait WakrimeHamza LabbaciMouna RekikNasredine ChenikiYacine SamPublished in: SN Comput. Sci. (2020)
Keyphrases
- boolean satisfiability
- web services
- sat solvers
- sat solving
- symmetry breaking
- boolean optimization
- cloud computing
- randomly generated
- branch and bound algorithm
- service oriented
- maximum satisfiability
- service providers
- sat problem
- integer linear programming
- orders of magnitude
- service composition
- combinatorial problems
- max sat
- sat instances
- boolean formula
- cloud services
- cellular automata
- software as a service