Constraint Branching in Workflow Satisfiability Problem
by Gregory Gutin, Daniel Karapetyan
Reference:
Constraint Branching in Workflow Satisfiability Problem (Gregory Gutin, Daniel Karapetyan), In proc. of the 25th ACM Symposium on Access Control Models and Technologies, 2020.
Bibtex Entry:
@InProceedings{Gutin2020,
author = {Gregory Gutin and Daniel Karapetyan},
booktitle = {the 25th ACM Symposium on Access Control Models and Technologies},
title = {Constraint Branching in Workflow Satisfiability Problem},
year = {2020},
pages = {93-103},
doi = {10.1145/3381991.3395600},
groups = {Daniel:1},
url = {https://pure.royalholloway.ac.uk/portal/files/37808821/sacmat_20_03_30.pdf},
}