Pattern Backtracking Algorithm for the Workflow Satisfiability Problem - Karapetyan, Daniel; Gagarin, Andrei; Gutin, Gregory (2014)
Keywords: Computer Science - Data Structures and Algorithms