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]

Abstract

Abstract is missing.