Login / Signup
Toward Reconfiguration of BPaaS Based on SaaS Services using Clustering and Boolean Satisfiability.
Abderrahim Ait Wakrime
Hamza Labbaci
Mouna Rekik
Nasredine Cheniki
Yacine Sam
Published 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