Login / Signup
Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability.
Daniel Ricardo dos Santos
Serena Elisa Ponta
Silvio Ranise
Published in:
SACMAT (2016)
Keyphrases
</>
satisfiability problem
np complete
search algorithm
temporal logic
sat problem
phase transition
stochastic local search algorithms
pspace complete
stochastic local search
sat instances
learning objects
mazurkiewicz traces
e learning
workflow management systems