C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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