The Bi-Objective Workflow Satisfiability Problem and Workflow Resiliency.

Jason Crampton Gregory Z. Gutin Daniel Karapetyan Rémi Watrigant

Published in: CoRR (2015)

Keyphrases

satisfiability problem
bi objective
np complete
temporal logic
search algorithm
multi objective
efficient solutions
neural network
multiple objectives
cost function
stochastic local search
stochastic local search algorithms