Valued Workflow Satisfiability Problem.
Jason CramptonGregory Z. GutinDaniel KarapetyanPublished in: SACMAT (2015)
Keyphrases
- satisfiability problem
- np complete
- phase transition
- search algorithm
- temporal logic
- stochastic local search algorithms
- sat problem
- stochastic local search
- solving hard
- workflow management systems
- pspace complete
- max sat
- sat instances
- business processes
- search space
- database
- mazurkiewicz traces
- dynamic programming
- np hard
- objective function