On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

Jason Crampton, Gregory Gutin, Anders Yeo. On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem. ACM Trans. Inf. Syst. Secur., 16(1):4, 2013. [doi]

@article{CramptonGY13,
  title = {On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem},
  author = {Jason Crampton and Gregory Gutin and Anders Yeo},
  year = {2013},
  doi = {10.1145/2487222.2487226},
  url = {http://doi.acm.org/10.1145/2487222.2487226},
  researchr = {https://researchr.org/publication/CramptonGY13},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Inf. Syst. Secur.},
  volume = {16},
  number = {1},
  pages = {4},
}