Login / Signup
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