C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Algorithms for the workflow satisfiability problem engineered for counting constraints.
David A. Cohen
Jason Crampton
Andrei Gagarin
Gregory Z. Gutin
Mark Jones
Published in:
J. Comb. Optim. (2016)
Keyphrases
</>
satisfiability problem
stochastic local search algorithms
stochastic local search
np complete
optimization problems
temporal logic
orders of magnitude
solving hard
search space
constraint programming
sat problem