Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints | Read Paper on Bytez