Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints
(2019)
Journal Article
Karapetyan, D., J. Parkes, A., Gutin, G., & Gagarin, A. (2019). Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints. Journal of Artificial Intelligence Research, 66, 85-122. https://doi.org/10.1613/jair.1.11339
The fixed parameter tractable (FPT) approach is a powerful tool in tackling computationally hard problems. In this paper, we link FPT results to classic artificial intelligence (AI) techniques to show how they complement each other. Specifically, we... Read More about Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints.