Login / Signup
Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints.
David A. Cohen
Jason Crampton
Andrei Gagarin
Gregory Z. Gutin
Mark Jones
Published in:
FAW (2014)
Keyphrases
</>
satisfiability problem
stochastic local search
stochastic local search algorithms
computational complexity
constraint satisfaction
phase transition
search algorithm
evolutionary algorithm
query processing
special case
temporal logic
solving hard