@article{journals/corr/CohenCGGJ15,
  added-at = {2015-06-23T00:00:00.000+0200},
  author = {Cohen, David and Crampton, Jason and Gagarin, Andrei V. and Gutin, Gregory and Jones, Mark},
  biburl = {http://www.bibsonomy.org/bibtex/2712a088f1af4644da17c3f431e970490/dblp},
  ee = {http://arxiv.org/abs/1504.02420},
  interhash = {ef602d6e9ea70d9b1641dde773c39643},
  intrahash = {712a088f1af4644da17c3f431e970490},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2015-06-24T11:34:13.000+0200},
  title = {Algorithms for the workflow satisfiability problem engineered for counting constraints.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1504.html#CohenCGGJ15},
  volume = {abs/1504.02420},
  year = 2015
}

{"_id":"jhnhG3F99o4Qk29Kf","bibbaseid":"cohen-crampton-gagarin-gutin-jones-algorithmsfortheworkflowsatisfiabilityproblemengineeredforcountingconstraints-2015","downloads":0,"creationDate":"2015-12-18T06:38:08.742Z","title":"Algorithms for the workflow satisfiability problem engineered for counting constraints.","author_short":["Cohen, D.","Crampton, J.","Gagarin, A. V.","Gutin, G.","Jones, M."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/cohen?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-06-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Cohen"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Crampton"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Gagarin"],"firstnames":["Andrei","V."],"suffixes":[]},{"propositions":[],"lastnames":["Gutin"],"firstnames":["Gregory"],"suffixes":[]},{"propositions":[],"lastnames":["Jones"],"firstnames":["Mark"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2712a088f1af4644da17c3f431e970490/dblp","ee":"http://arxiv.org/abs/1504.02420","interhash":"ef602d6e9ea70d9b1641dde773c39643","intrahash":"712a088f1af4644da17c3f431e970490","journal":"CoRR","keywords":"dblp","timestamp":"2015-06-24T11:34:13.000+0200","title":"Algorithms for the workflow satisfiability problem engineered for counting constraints.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1504.html#CohenCGGJ15","volume":"abs/1504.02420","year":"2015","bibtex":"@article{journals/corr/CohenCGGJ15,\n added-at = {2015-06-23T00:00:00.000+0200},\n author = {Cohen, David and Crampton, Jason and Gagarin, Andrei V. and Gutin, Gregory and Jones, Mark},\n biburl = {http://www.bibsonomy.org/bibtex/2712a088f1af4644da17c3f431e970490/dblp},\n ee = {http://arxiv.org/abs/1504.02420},\n interhash = {ef602d6e9ea70d9b1641dde773c39643},\n intrahash = {712a088f1af4644da17c3f431e970490},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2015-06-24T11:34:13.000+0200},\n title = {Algorithms for the workflow satisfiability problem engineered for counting constraints.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1504.html#CohenCGGJ15},\n volume = {abs/1504.02420},\n year = 2015\n}\n\n","author_short":["Cohen, D.","Crampton, J.","Gagarin, A. V.","Gutin, G.","Jones, M."],"key":"journals/corr/CohenCGGJ15","id":"journals/corr/CohenCGGJ15","bibbaseid":"cohen-crampton-gagarin-gutin-jones-algorithmsfortheworkflowsatisfiabilityproblemengineeredforcountingconstraints-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1504.02420","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1504.html#CohenCGGJ15"},"keyword":["dblp"],"downloads":0},"search_terms":["algorithms","workflow","satisfiability","problem","engineered","counting","constraints","cohen","crampton","gagarin","gutin","jones"],"keywords":["dblp"],"authorIDs":[],"dataSources":["DY7iBA8E4Z4ZyQgtk"]}