Pattern Backtracking Algorithm for the Workflow Satisfiability Problem.
Daniel KarapetyanAndrei V. GagarinGregory Z. GutinPublished in: CoRR (2014)
Keyphrases
- satisfiability problem
- backtracking algorithm
- np complete
- search algorithm
- temporal logic
- constraint satisfaction problems
- phase transition
- search tree
- stochastic local search algorithms
- sat problem
- constraint networks
- stochastic local search
- sat instances
- data management
- evolutionary algorithm
- knowledge base
- mazurkiewicz traces