On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

Jason Crampton, Gregory Gutin, Anders Yeo

Research output: Contribution to journal › Article › peer-review

1 results

Finished

Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC
1/02/13 → 1/05/16
Project: Research