Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems

Project: Research

Status	Finished
Effective start/end date	1/02/13 → 1/05/16

Funding

Eng & Phys Sci Res Council EPSRC: £602,797.00

3 Conference contribution
3 Article
1 Chapter

Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints
Karapetyan, D., Gagarin, A. & Gutin, G., 2015, (Accepted/In press) FAW 2015, Lecture Notes in Computer Science.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

File

190 Downloads (Pure)
Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem
Gutin, G., Kratsch, S. & Wahlström, M., 2015, In: Algorithmica. p. 1-20 20 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

107 Downloads (Pure)
Iterative Plan Construction for the Workflow Satisfiability Problem
Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 21 Nov 2014, In: Journal of Artificial Intelligence Research. 51, p. 555-577 23 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

266 Downloads (Pure)