Solving the Workflow Satisfiability Problem using General Purpose Solvers

Open in new window