@misc{indiciae34111fce3bb0,
  title = {Pattern Backtracking Algorithm for the Workflow Satisfiability Problem},
  author = {Daniel Karapetyan and Andrei Gagarin and Gregory Gutin},
  year = {2015},
  url = {https://arxiv.org/abs/1412.7834},
  note = {Source identifier: 1412.7834}
}