TY - RPRT TI - Pattern Backtracking Algorithm for the Workflow Satisfiability Problem AU - Daniel Karapetyan AU - Andrei Gagarin AU - Gregory Gutin PY - 2015 UR - https://arxiv.org/abs/1412.7834 ID - 1412.7834 ER -