TY  - RPRT
TI  - Algorithms for the workflow satisfiability problem engineered for counting constraints
AU  - D. Cohen
AU  - J. Crampton
AU  - A. Gagarin
AU  - G. Gutin
AU  - M. Jones
PY  - 2015
DO  - 10.1007/s10878-015-9877-7
UR  - https://arxiv.org/abs/1504.02420
ID  - 1504.02420
ER  -