Constraint Branching in Workflow Satisfiability Problem.

Gregory Z. Gutin, Daniel Karapetyan

Browse the full SACMAT paper archive.