Pattern Backtracking Algorithm for the Workflow Satisfiability Problem. Karapetyan, D., Gagarin, A. V., & Gutin, G. CoRR, 2014.
Pattern Backtracking Algorithm for the Workflow Satisfiability Problem [link]Paper  bibtex   
@article{ dblp1570580,
  title = {Pattern Backtracking Algorithm for the Workflow Satisfiability Problem},
  author = {Daniel Karapetyan and Andrei V. Gagarin and Gregory Gutin},
  author_short = {Karapetyan, D. and Gagarin, A. V. and Gutin, G.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1570580},
  id = {dblp1570580},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KarapetyanGG14},
  url = {http://arxiv.org/abs/1412.7834},
  journal = {CoRR},
  volume = {abs/1412.7834},
  text = {CoRR abs/1412.7834 (2014)}
}

Downloads: 0