Pattern-Based Plan Construction for the Workflow Satisfiability Problem.
David A. CohenJason CramptonGregory Z. GutinMark JonesPublished in: CoRR (2013)
Keyphrases
- satisfiability problem
- np complete
- temporal logic
- search algorithm
- phase transition
- pspace complete
- stochastic local search algorithms
- sat problem
- stochastic local search
- workflow management systems
- special case
- max sat
- sat instances
- mazurkiewicz traces
- conjunctive normal form
- heuristic search
- business processes
- lower bound
- computational complexity