Login / Signup
The bi-objective workflow satisfiability problem and workflow resiliency.
Jason Crampton
Gregory Z. Gutin
Daniel Karapetyan
Rémi Watrigant
Published in:
J. Comput. Secur. (2017)
Keyphrases
</>
satisfiability problem
bi objective
np complete
temporal logic
multi objective optimization
multi objective
max sat
stochastic local search algorithms
phase transition
sat instances
network design
special case
multiple objectives
efficient solutions