David Cohen, Jason Crampton, Andrei Gagarin, Gregory Gutin, Mark Jones. Algorithms for the workflow satisfiability problem engineered for counting constraints. J. Comb. Optim., 32(1):3-24, 2016. [doi]
@article{CohenCGGJ16,
title = {Algorithms for the workflow satisfiability problem engineered for counting constraints},
author = {David Cohen and Jason Crampton and Andrei Gagarin and Gregory Gutin and Mark Jones},
year = {2016},
doi = {10.1007/s10878-015-9877-7},
url = {http://dx.doi.org/10.1007/s10878-015-9877-7},
researchr = {https://researchr.org/publication/CohenCGGJ16},
cites = {0},
citedby = {0},
journal = {J. Comb. Optim.},
volume = {32},
number = {1},
pages = {3-24},
}