On the Workflow Satisfiability Problem with Class-Independent Constraints.

Jason Crampton Andrei V. Gagarin Gregory Z. Gutin Mark Jones

Published in: CoRR (2015)

Keyphrases

satisfiability problem
finite domain
np complete
search algorithm
temporal logic
phase transition
stochastic local search
stochastic local search algorithms
constraint satisfaction
decision procedures
sat problem
max sat
sat instances
integrity constraints