Karapetyan, Daniel, Gutin, Gregory, "Solving the Workflow Satisfiability Problem using General Purpose Solvers", IEEE Transactions on Dependable and Secure Computing, 2023