Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

Gregory Gutin, Stefan Kratsch, Magnus Wahlström

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

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