C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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