Login / Signup
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem.
Gregory Z. Gutin
Stefan Kratsch
Magnus Wahlström
Published in:
CoRR (2014)
Keyphrases
</>
satisfiability problem
np complete
temporal logic
phase transition
search algorithm
polynomial kernels
sat problem
stochastic local search
mazurkiewicz traces
stochastic local search algorithms
face recognition
feature extraction
learning problems
sat instances