Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints.

Daniel Karapetyan, Andrei V. Gagarin, Gregory Z. Gutin

Browse the full FAW paper archive.