Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Project: Research
- Gutin, Gregory (PI)
- Cohen, David (CoI)
- Crampton, Jason (CoI)
| Status | Finished |
|---|---|
| Effective start/end date | 1/02/13 → 1/05/16 |
Funding
Eng & Phys Sci Res Council EPSRC: £602,797
Publications
Iterative Plan Construction for the Workflow Satisfiability Problem
Research output: Contribution to journal › Article
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem
Research output: Contribution to journal › Article
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem
Research output: Contribution to journal › Article
Constraint Expressions and Workflow Satisability
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints
Research output: Chapter in Book/Report/Conference proceeding › Chapter
ID: 21715593