Valued Workflow Satisfiability Problem.
Jason CramptonGregory Z. GutinDaniel KarapetyanPublished in: CoRR (2015)
Keyphrases
- satisfiability problem
- np complete
- phase transition
- temporal logic
- sat problem
- search algorithm
- workflow management systems
- stochastic local search algorithms
- sat instances
- solving hard
- stochastic local search
- pspace complete
- business processes
- decision procedures
- conjunctive normal form
- constraint satisfaction
- relational databases
- max sat
- computational complexity