Gregory Z. Gutin, Daniel Karapetyan. Constraint Branching in Workflow Satisfiability Problem. In Jorge Lobo 0001, Scott D. Stoller, Peng Liu 0005, editors, Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020. pages 93-103, ACM, 2020. [doi]
Abstract is missing.