Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints.
Daniel KarapetyanAndrei V. GagarinGregory Z. GutinPublished in: FAW (2015)
Keyphrases
- satisfiability problem
- backtracking algorithm
- np complete
- search algorithm
- temporal logic
- constraint networks
- phase transition
- constraint satisfaction problems
- sat problem
- stochastic local search algorithms
- stochastic local search
- search tree
- constraint satisfaction
- constraint programming
- sat instances
- orders of magnitude
- path consistency